The OpenNET Project / Index page

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

SPLint - tool for statically checking C programs

Дата
29 Mar 1999
ЗаголовокSPLint - tool for statically checking C programs
ПояснениеАнализатор исходников программ на наличие множества распространенных ошибок, таких как ошибки распределения памяти, неправильное использование переменных, ошибки проверки границ и т.д. Ранее проект назывался LCLint.
Home URLhttp://lclint.cs.virginia.edu/ http://www.splint.org/
Флагenglish
Обновление03 Jun 2003
Стаб. вер.3.1.1
РазделОтладка и оценка кода

Ваш комментарий
Имя:         
E-Mail:      
Заголовок:
Текст:



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

Последние заметки
- 10.09 Использование CAA записей в DNS для защиты от генерации фиктивных HTTPS-сертификатов
- 08.09 Настройка ротации логов MongoDB
- 26.07 Быстрый посмотр конфигурации GEOM во FreeBSD
- 25.07 Проверка безопасности беспроводной сети WPA/WPA2 при помощи Aircrack-ng и Hashcat
- 08.07 Наиболее простой способ получения и обновления сертификатов Let's Encrypt
- 09.06 Создание QR-кода в консоли, чтобы быстро перенести текст на смартфон
- 24.05 Просмотр подсказок/шпаргалок по командам UNIX/Linux в командной строке
- 21.04 Как подключить в Ubuntu диски Seagate Business NAS и восстановить данные
- 07.04 Разбираемся с "треском" в PulseAudio
- 06.04 Развёртывание нейросети, используя готовый образ Docker
RSS | Следующие 15 записей >>



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