форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форумы Разговоры, обсуждение новостей (Public)
Изначальное сообщение		[ Отслеживать ]

"OpenNews: Вышел Frama-C - набор инструментов для анализа исх..."

Сообщение от opennews (??) on 04-Июн-08, 09:03

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ообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Вышел Frama-C - набор инструментов для анализа исходного код..."

Сообщение от Aleksey (??) on 04-Июн-08, 09:03

А для C++ что-то подобное есть?

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	3. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от Аноним (??) on 04-Июн-08, 18:36
	Плюсы отчекать никакого ИИ не хватит. C(ompile and pray!)++
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	7. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от pavlinux (ok) on 05-Июн-08, 01:43
	./configure --enable-cxx
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

2. "Вышел Frama-C - набор инструментов для анализа исходного код..."

Сообщение от Аноним (??) on 04-Июн-08, 10:08

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

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

4. "Вышел Frama-C - набор инструментов для анализа исходного код..."

Сообщение от pavlinux (ok) on 04-Июн-08, 19:02

Этот OCalm это какая-то попа...

Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	5. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от vitek (??) on 04-Июн-08, 23:39
	да ладно... вот пробую.. и не знал.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	6. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от pavlinux (ok) on 04-Июн-08, 23:44
	>да ладно... >вот пробую.. >и не знал. Как настроить до рабочего вида OCalm расскажешь?
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	8. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от Аноним (??) on 05-Июн-08, 18:04
	>Как настроить до рабочего вида OCalm расскажешь? OCalm ? Сам не знаю, Ocaml - make install clean и всё!
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

	9. "Вышел Frama-C - набор инструментов для анализа исходного код..."
	Сообщение от pavlinux (ok) on 05-Июн-08, 18:20
	>>Как настроить до рабочего вида OCalm расскажешь? > >OCalm ? Сам не знаю, Ocaml - make install clean и всё! > Ну очепятка... В общем поставил... часа 3 трахался с библиотеками, особенно c lablgtk... Теперь пытаюсь выяснить, какой от неё толк.
	Высказать мнение | Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить	Индекс форумов | Темы | Пред. тема | След. тема
Оцените тред (1=ужас, 5=супер)? [ 1 | 2 | 3 | 4 | 5 ] [Рекомендовать для помещения в FAQ]