Новый инструмент для статического анализа С/С++ кода

В списке рассылки разработчиков LLVM представлен новый проект SMACK, в рамках которого создан инструмент для статической проверки свойств программ, написанных на языках C/C++. На основании анализа исходных текстов программы, без непосредственного выполнения приложения, SMACK позволяет выявить нарушение заданных пользователем утверждений корректности (assertions).

Код инструмента поставляется под лицензией MIT и интегрируется с инфраструктурой компиляции LLVM. При желании SMACK может быть выведен за рамки C/C++ и после небольшой доработки использован для проверки кода на любом другом языке программирования, поддерживаемом в LLVM. Также возможно создание расширений, работающих поверх SMACK.

НПО Эшелон имеет собственное решение для статического и динамического анализа исходных кодов АК-ВС (С/С++, С#, Java).

Источник http://www.opennet.ru/opennews/art.shtml?num=36023
Анализатор искодных кодов программ АК-ВС http://www.npo-echelon.ru/production/65/4243