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

Последние заметки
<< Предыдущие 15 записей
- 07.04.2017 Разбираемся с "треском" в PulseAudio
- 06.04.2017 Развёртывание нейросети, используя готовый образ Docker
- 24.03.2017 Просмотр прогноза погоды из терминала
- 25.02.2017 Использование нескольких буферов обмена в консоли при помощи GNU Screen
- 13.02.2017 Удалённая замена одного Linux-дистрибутива на другой по SSH
- 10.02.2017 Автоматизация отправки сообщений в Jabber на примере трансляции новостей с OpenNet
- 07.02.2017 Прозрачный межсетевой экран с маршрутизатором
- 24.12.2016 Удалённая работа с GTK-приложениями через браузер
- 09.12.2016 Борьба с подстановкой фиктивных пакетов провайдером при помощи iptables
- 28.11.2016 Подключаем PHP 7.1 к Oracle в CentOS 7
- 08.11.2016 Домашний шлюз на Raspberry Pi
- 28.10.2016 Настройка двойной загрузки Ubuntu и Windows 10
- 22.09.2016 Снятие показаний электросчетчика средствами OpenWRT
- 18.09.2016 Отключение LD_PRELOAD в Linux
- 13.09.2016 Мониторинг MaxScale в Zabbix
Следующие 15 записей >>




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

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