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

Последние заметки
- 15.01 Использование USB-брелоков Yubikey 4 для ключей GPG и SSH
- 02.01 Создания WiFi-ретрансляторов с поддержкой построения Mesh-сети
- 27.12 Как увеличить охват квартиры точкой доступа при помощи алюминиевой фольги
- 12.12 Обход ограничения доступа к материалам сайтов для платных подписчиков
- 02.12 Сборка ChromiumOS из исходных текстов для запуска в QEMU
- 29.11 Возвращение к жизни Skype 4.3 для Linux
- 10.11 Сборка системы виртуализации crosvm из Chrome OS в обычном дистрибутиве Linux
- 24.10 Еscape-последовательности в сеансе OpenSSH
- 10.09 Использование CAA записей в DNS для защиты от генерации фиктивных HTTPS-сертификатов
- 08.09 Настройка ротации логов MongoDB
RSS | Следующие 15 записей >>



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