Персональные инструменты
 

ADD 2011: Отчет Василия Маслова/Статический анализ C++ кода

Материал из CustisWiki

Перейти к: навигация, поиск

Продает свою систему для статической верификации C++ программ. Для того и ездит с этим докладом по всем конференциям и раздает брошюрки. Доклад заключается в описании примеров ошибок в исходниках известных продуктов («Return To Castle Wolfestein», «Miranda» и др.), которые он обнаружил, натравливая свою программу.