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):
     

    Последние заметки
    - 15.04 Организация шифрованного доступа к DNS-серверу BIND (DNS-over-TLS) при помощи nginx
    - 14.04 Включение DNS-Over-TLS в LEDE/OpenWrt через замену резолвера на Unbound
    - 12.04 Трассировка обмена данными через Unix domain socket
    - 04.04 Выбор метода обмена ключами с при подключении по ssh к Cisco ASA
    - 20.03 Правильное отображение русских букв для zip-архивов в KDE ARK
    - 28.02 Рекомендации по восстановлению данных со сбойного накопителя
    - 26.02 Бесшовная миграция (роуминг) Wi-Fi для клиентов Linux и Android
    - 25.02 Решение проблемы с картами Intel после устранения уязвимости в WPA2 в wpa_supplicant
    - 19.02 Использование ALSA в Firefox и приложениях, поддерживающих только PulseAudio
    - 02.02 Решение проблемы при отказе работы Skype за шлюзом с изменённым TCP MSL
    RSS | Следующие 15 записей >>



      Закладки на сайте
      Проследить за страницей
    Created 1996-2017 by Maxim Chirkov  
    ДобавитьРекламаВебмастеруГИД  
    Hosting by Ihor