The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Smatch - C source checker

Дата
01 Jul 2004
ЗаголовокSmatch - C source checker
ПояснениеАвтоматический анализатор исходного кода для нахождения типовых ошибок (например, утечек памяти, переполнений буфера, паразитных NULL указателей). Первоначально задумывался как средство для выявления ошибок в Linux ядре. Состоит из двух частей: патчей к gcc и набора perl-скриптов для анализа дампов.
  • статье с описанием методики работы анализатора;
  • Home URLhttp://smatch.sourceforge.net/
    Флагenglish
    РазделОтладка и оценка кода
    Ключи

     Добавить ссылку
     
     Поиск ссылки (regex):
     

    Последние заметки
    - 10.09 Настройка СУБД Postgresql для аутентификации пользователей через Active Directory
    - 09.09 Настройка СУБД PostgreSQL 13 под управлением Pacemaker/Corosync в Debian 11
    - 08.09 Создание виртуальных машин с помощью Qemu KVM
    - 25.07 Создание программ под SynapseOS
    - 24.07 Случайная задержка в shell-скрипте, выполняемом из crontab (без башизмов)
    - 03.07 Выборочное туннелирование сайтов через WireGuard
    - 19.05 Настройка шрифтов для консоли и терминала
    - 26.02 Тестирование хелловорлда под 17 платформ одним скриптом
    - 23.02 Скрипт для конвертации архива gz в lzma
    - 06.12 Сравнение методов исключения разработки на JavaScript для веб технологий
    RSS | Следующие 15 записей >>




    Спонсоры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2022 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру