ИСТИНА

Создание безопасных программ требует выполнения особых процессов на каждом этапе жизненного цикла, от анализа требований и проектирования архитектуры до внедрения и сопровождения. В мире ведутся активные исследования и разработки технологий, помогающих автоматизировать эти процессы. Степень проработки технологий варьируется от промышленного качества до исследовательских работ. В докладе будет выполнен обзор популярных технологий (статический анализ, фаззинг, инструментация кода) и рассказано о разработках ИСП РАН в этой области.