The OpenNET Project / Index page

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

Smatch - C source checker

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

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

    Последние заметки
    - 07.11.2024 Как отключить TLS-расширение ECH для решения проблем с Cloudflare в РФ
    - 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
    RSS | Следующие 15 записей >>




    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

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