Аудит кода

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

В списке рассылки разработчиков LLVM представлен новый проект SMACK, в рамках которого создан инструмент для статической проверки свойств программ, написанных...