[
новости
/
+++
|
форум
|
теги
|
]
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
):
Последние заметки
<< Предыдущие 15 записей
-
01.05.2021
Получаем патчи безопасности для Ubuntu 16.04
-
27.04.2021
Включение DNS-over-HTTPS на системном уровне в KDE neon и Ubuntu
-
26.04.2021
Активация режима гибернации в KDE neon
-
10.04.2021
Резервное копирование с Borg
-
08.04.2021
Отключение учетной записи root в openSUSE Tumbleweed
-
05.04.2021
Активация режима гибернации в openSUSE Tumbleweed
-
28.03.2021
Специфичные особенности удаления элементов массивов в Bash
-
19.01.2021
Запуск macOS в виртуальной машине на базе QEMU/KVM
-
27.12.2020
Создание шифрованных образов виртуальных машин
-
13.12.2020
Использование в Linux дискретной видеокарты AMD Radeon вместе со встроенной Raven Ridge
-
30.11.2020
Используем BitMessage через IMAP/SMTP
-
08.11.2020
Решение проблемы с исчезновением устройств вывода звука в Ubuntu 20.04
-
13.09.2020
Гитара в Debian и борьба с XRUN
-
11.09.2020
Первоначальная настройка VPS сервера на базе CentOS 8
-
18.08.2020
Установка в Firefox официального расширения Google Translate, поставляемого для Chrome
Следующие 15 записей >>
Партнёры:
Хостинг:
Закладки на сайте
Проследить за страницей
Created 1996-2024 by
Maxim Chirkov
Добавить
,
Поддержать
,
Вебмастеру