Smatch - C source checker

Дата

01 Jul 2004

Заголовок

Пояснение

Автоматический анализатор исходного кода для нахождения типовых ошибок (например, утечек памяти, переполнений буфера, паразитных NULL указателей). Первоначально задумывался как средство для выявления ошибок в Linux ядре. Состоит из двух частей: патчей к gcc и набора perl-скриптов для анализа дампов.

статье с описанием методики работы анализатора;

Home URL

http://smatch.sourceforge.net/

Флаг

english

Раздел

Отладка и оценка кода

Ключи

gcc, analyze, gcc, debug, (найти похожие документы)

Добавить ссылку