The OpenNET Project / Index page

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

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

Последние заметки
- 24.03.2024 Полезные пакеты, которые следует установить на сервер для диагностики сбоев
- 29.12.2023 Диагональное размещение информации на экране
- 25.12.2023 Автоматизация установки Samba AD+DDNS+DHCPD и почтового сервера в openSUSE Leap 15.5
- 24.12.2023 Проброс доступа к SSH через HTTPS
- 20.12.2023 Использование SSH поверх UNIX-сокета вместо sudo
- 08.12.2023 Проксирование запросов к S3 с помощью nginx и angie
- 29.11.2023 Cкрипт ddrescue-loop с функцией автоматической остановки/перезапуска диска на SATA порту
- 23.11.2023 Устранение ошибки redirection unexpected в bash-скриптах
- 21.10.2023 Защита от подмены серверных TLS-сертификатов в результате MITM-атаки провайдером
- 15.10.2023 Уменьшение жёстко определённого размера окна приложения в формате AppImage
RSS | Следующие 15 записей >>




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

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