Смотреть запись
Тип доклада: Доклад
Статический анализатор Svace: основные возможности
Дмитрий Журихин
Компания: ИСП РАН
Компания: ИСП РАН
Занимается статическим анализом больше десяти лет. Компиляторами еще дольше. Один из разработчиков статического анализатора Svace. Преподаватель факультета ВМК МГУ им. М. В. Ломоносова.
Тип доклада: Доклад
Компания: ИСП РАН