В рамках проекта SMACK развивается новая система статической проверки кода C/C++

4 февраля 2013 года

Wikinews-logo-ru.svg

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

 

ИсточникиПравить


Эта статья содержит материалы из статьи «В рамках проекта SMACK развивается новая система статической проверки кода C/C++», опубликованной OpenNET и распространяющейся на условиях лицензии Creative Commons Attribution (CC BY) — указание автора, источник и лицензию.
Эта статья загружена автоматически ботом NewsBots в архив и ещё не проверялась редакторами Викиновостей.
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
 

Комментарии:В рамках проекта SMACK развивается новая система статической проверки кода C/C++