LINUX.ORG.RU
Форум — Development  

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


0

0
Подскажите программу. Я слышал такой можно проверить исходники и выявить возможные ошибки в работе - утечки памяти, неверная работа с указателями. Кажется ее даже использовали при проверке сырцов ядра, хотя возможно я ошибаюсь. Спасибо.
anonymous
← уведомление о новой почте
Kernel network buffer →
есть есть такая. в новостях недавно пробегала. в архивах посмотри.
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
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← уведомление о новой почте
Development
Kernel network buffer →