[
новости
/
+++
|
форум
|
теги
|
]
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
):
Последние заметки
-
11.10.2024
Гарантия консистентности двух и более состояний
-
28.06.2024
Как избавиться от щелчков при запуске приложений на системах с чипами Intel
-
22.05.2024
Использование HTTPS-сертификатов для шифрования и подписи произвольных данных
-
17.05.2024
Проброс графического адаптера в виртуальную машину KVM
-
10.05.2024
Актуальность опции TCP_NODELAY для распределённых приложений
-
27.04.2024
Подключение в BHyVe zvol-диска с другой машины
-
24.03.2024
Полезные пакеты, которые можно установить на сервер для диагностики сбоев
-
29.12.2023
Диагональное размещение информации на экране
-
25.12.2023
Автоматизация установки Samba AD+DDNS+DHCPD и почтового сервера в openSUSE Leap 15.5
-
24.12.2023
Проброс доступа к SSH через HTTPS
RSS
|
Следующие 15 записей >>
Партнёры:
Хостинг:
Закладки на сайте
Проследить за страницей
Created 1996-2024 by
Maxim Chirkov
Добавить
,
Поддержать
,
Вебмастеру