Отчет о конференции ADD-2010 - Владислав Иофе/Современный статический анализ кода
Материал из CustisWiki
С первых слов вспомнил докладчика, он был на SECR 2009. Тогда доклад назывался Ранняя диагностика ошибок в параллельных программах, но общее ощущение, что новый доклад о том же.
В общем, компания разрабатывает статический анализатор кода для C/C++. И в основном рассказывают, какие ошибки умеют ловить на примерах.
Оценка: :-|