Frama-C (http://frama-c.cea.fr/) - открытый, интегрированный набор инструментов для анализа исходного кода на языке Си доступен для загрузки под лицензией GNU LGPL v2.
Frama-C написан на языке OCaml и является ответвлением библиотеки CIL (http://manju.cs.berkeley.edu/cil/).
Набор включает ACSL (ANSI/ISO C Specification Language) - специальный язык, позволяющий подробно описывать спецификации функций C, например указать диапазон допустимых входных значений функции и диапазон нормальных выходных значений.
Этот инструментарий помогает производить такие действия:
- Осуществлять формальную валидацию кода;
- Искать потенциальные ошибки исполнения;
- Произвести аудит или рецензирование кода;
- Проводить реверс-инжиниринг кода для улучшения понимания структуры;
- Генерировать формальную документацию;
Frama-C включает такие полезные инструменты:- Парсер, систему проверки типов и линкер уровня исходного кода для программы на языке С, опционально, аннотированной фо...
URL: http://lwn.net/Articles/284650/rss
Новость: http://www.opennet.me/opennews/art.shtml?num=16282
А для C++ что-то подобное есть?
Плюсы отчекать никакого ИИ не хватит. C(ompile and pray!)++
./configure --enable-cxx
The following environments have been tested to be able to run Frama-C:
Ubuntu Linux on x86 and AMD64
Windows XP x86
MacOS X Tiger and Leopard on PowerPC and Intel
Этот OCalm это какая-то попа...
да ладно...
вот пробую..
и не знал.
>да ладно...
>вот пробую..
>и не знал.Как настроить до рабочего вида OCalm расскажешь?
>Как настроить до рабочего вида OCalm расскажешь?OCalm ? Сам не знаю, Ocaml - make install clean и всё!
>>Как настроить до рабочего вида OCalm расскажешь?
>
>OCalm ? Сам не знаю, Ocaml - make install clean и всё!
>Ну очепятка...
В общем поставил... часа 3 трахался с библиотеками, особенно c lablgtk...
Теперь пытаюсь выяснить, какой от неё толк.