OpenForum RSS: OpenNews: Вышел Frama-C - набор инструментов для анализа исходного кода на языке Си https://www.opennet.ru/openforum/vsluhforumID3/42177.html Frama-C (http://frama-c.cea.fr/) - открытый, интегрированный набор инструментов для анализа исходного кода на языке Си доступен для загрузки под лицензией GNU LGPL v2.<br><br><br>Frama-C написан на языке OCaml и является ответвлением библиотеки CIL (http://manju.cs.berkeley.edu/cil/).<br><br><br>Набор включает ACSL (ANSI/ISO C Specification Language) - специальный язык, позволяющий подробно описывать спецификации функций C, например указать диапазон допустимых входных значений функции и диапазон нормальных выходных значений.<br><br><br>Этот инструментарий помогает производить такие действия:<br><br><br>- Осуществлять формальную валидацию кода;<br>- Искать потенциальные ошибки исполнения;<br>- Произвести аудит или рецензирование кода;<br>- Проводить реверс-инжиниринг кода для улучшения понимания структуры;<br>- Генерировать формальную документацию;<br><br><br><br><br>Frama-C включает такие полезные инструменты:<br><br>- Парсер, систему проверки типов и линкер уровня исходного кода для программы на языке С, опционально, аннотированной фо...<br><br>URL: http://lwn.net Вышел Frama-C - набор инструментов для анализа исходного код... (pavlinux) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#9 Thu, 05 Jun 2008 14:20:33 GMT &gt;&gt;Как настроить до рабочего вида OCalm расскажешь?<br>&gt;<br>&gt;OCalm ? Сам не знаю, Ocaml - make install clean и всё! <br>&gt;<br><br>Ну очепятка... <br><br>В общем поставил... часа 3 трахался с библиотеками, особенно c lablgtk... <br><br>Теперь пытаюсь выяснить, какой от неё толк.<br><br><br> Вышел Frama-C - набор инструментов для анализа исходного код... (Аноним) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#8 Thu, 05 Jun 2008 14:04:33 GMT &gt;Как настроить до рабочего вида OCalm расскажешь?<br><br>OCalm ? Сам не знаю, Ocaml - make install clean и всё!<br> Вышел Frama-C - набор инструментов для анализа исходного код... (pavlinux) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#7 Wed, 04 Jun 2008 21:43:35 GMT ./configure --enable-cxx <br> Вышел Frama-C - набор инструментов для анализа исходного код... (pavlinux) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#6 Wed, 04 Jun 2008 19:44:19 GMT &gt;да ладно... <br>&gt;вот пробую.. <br>&gt;и не знал. <br><br>Как настроить до рабочего вида OCalm расскажешь?<br> Вышел Frama-C - набор инструментов для анализа исходного код... (vitek) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#5 Wed, 04 Jun 2008 19:39:39 GMT да ладно...<br>вот пробую..<br>и не знал.<br> Вышел Frama-C - набор инструментов для анализа исходного кода на языке (pavlinux) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#4 Wed, 04 Jun 2008 15:02:26 GMT Этот OCalm это какая-то попа... <br> Вышел Frama-C - набор инструментов для анализа исходного код... (Аноним) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#3 Wed, 04 Jun 2008 14:36:04 GMT Плюсы отчекать никакого ИИ не хватит. C(ompile and pray!)++<br> Вышел Frama-C - набор инструментов для анализа исходного кода на языке Си (Аноним) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#2 Wed, 04 Jun 2008 06:08:24 GMT The following environments have been tested to be able to run Frama-C: <br>Ubuntu Linux on x86 and AMD64 <br>Windows XP x86 <br>MacOS X Tiger and Leopard on PowerPC and Intel<br> Вышел Frama-C - набор инструментов для анализа исходного кода на языке Си (Aleksey) https://www.opennet.ru/openforum/vsluhforumID3/42177.html#1 Wed, 04 Jun 2008 05:03:44 GMT А для C++ что-то подобное есть?<br>