Smatch - C source checker

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, (найти похожие документы)

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

Последние заметки

<< Предыдущие 15 записей

- 11.09.2021 Шифрование данных на существующем разделе ext4 без его переформатирования

- 04.08.2021 Прямая отправка заданий на принтер, без использования CUPS и других прослоек

- 19.06.2021 Запуск процесса с совсем-совсем IDLE приоритетом в Linux

- 11.06.2021 Работа с 32- и 64-разрядными chroot на примере Debian

- 13.05.2021 Эксперименты по борьбе с утечками памяти Telegram Desktop

- 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

Следующие 15 записей >>

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру