LINUX.ORG.RU

Автопроверка исходников на ошибки в коде


0

0

Подскажите программу. Я слышал такой можно проверить исходники и выявить возможные ошибки в работе - утечки памяти, неверная работа с указателями. Кажется ее даже использовали при проверке сырцов ядра, хотя возможно я ошибаюсь. Спасибо.

anonymous

есть есть такая. в новостях недавно пробегала. в архивах посмотри.

logIN
()

da no eti rebyata eshe ne vylozhili ee govoryat dorabatyvayut

master
()

Утечки надо смотреть всякими там ElectricFence и memprof. Для сволочного языка "C" есть пока только одна относительная приличная чекалка - lclint, но она весьма мало ситуаций обрабатывает. Нормальные системы верификации и доказательства есть только для функциональных языков.

anonymous
()

To: anonymous (*) (2001-05-22 22:37:57.0) Thanks.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.