[
новости
/
+++
|
форум
|
wiki
|
теги
|
]
Smatch - C source checker
Дата
01 Jul 2004
[
исправить
]
Заголовок
Smatch - C source checker
Пояснение
Автоматический анализатор исходного кода для нахождения типовых ошибок (например, утечек памяти, переполнений буфера, паразитных NULL указателей). Первоначально задумывался как средство для выявления ошибок в Linux ядре. Состоит из двух частей: патчей к gcc и набора perl-скриптов для анализа дампов.
статье с описанием методики работы анализатора
;
Home URL
http://smatch.sourceforge.net/
Флаг
english
Раздел
Отладка и оценка кода
Ключи
gcc
,
analyze
,
gcc
,
debug
, (
найти похожие документы
)
Добавить ссылку
Поиск ссылки (
regex
):
Последние заметки
-
18.04
Перевод шифрованного раздела на LUKS2 и более надёжную функцию формирования ключа
-
31.03
Пример правил nftables с реализацией port knoсking для открытия доступа к SSH
-
27.02
Обновление сертификатов oVirt
-
20.11
Решение проблемы со шрифтами в Steam после выставления времени после 2038 года
-
18.11
Раскладка клавиатуры для ввода символов APL
-
10.09
Настройка СУБД Postgresql для аутентификации пользователей через Active Directory
-
09.09
Настройка СУБД PostgreSQL 13 под управлением Pacemaker/Corosync в Debian 11
-
08.09
Создание виртуальных машин с помощью Qemu KVM
-
25.07
Создание программ под SynapseOS
-
24.07
Случайная задержка в shell-скрипте, выполняемом из crontab (без башизмов)
RSS
|
Следующие 15 записей >>
Спонсоры:
Хостинг:
Закладки на сайте
Проследить за страницей
Created 1996-2023 by
Maxim Chirkov
Добавить
,
Поддержать
,
Вебмастеру