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
РазделОтладка и оценка кода



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

Последние заметки
- 05.01 Решение проблемы с зависанием графической подсистемы на компьютерах с APU AMD
- 04.01 Проверка правописания в Telegram Desktop для Linux
- 03.01 Простое устройство для защиты данных в случае кражи ноутбука
- 18.11 Обход блокировки сотовыми операторами использования смартфона в качестве точки доступа
- 09.09 Включение DNS-over-HTTPS в Chrome
- 01.09 Улучшение безопасности sources.list в дистрибутивах, использующих APT
- 28.08 Сравнение работающих в пространстве пользователя обработчиков нехватки памяти
- 27.08 Изменение скорости движения указателя мыши через xinput
- 23.08 Установка Anbox для запуска Android-приложений в Fedora 30
- 02.07 Прокси сервер Squid c E2guardian и Clamav
RSS | Следующие 15 записей >>




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

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