SPLint - tool for statically checking C programs

SPLint - tool for statically checking C programs

Дата

29 Mar 1999

[исправить]

Заголовок

SPLint - tool for statically checking C programs

Пояснение

Анализатор исходников программ на наличие множества распространенных ошибок, таких как ошибки распределения памяти, неправильное использование переменных, ошибки проверки границ и т.д. Ранее проект назывался LCLint.

Home URL

http://lclint.cs.virginia.edu/ http://www.splint.org/

Флаг

english

Обновление

03 Jun 2003

Стаб. вер.

3.1.1

Раздел

Отладка и оценка кода

Добавить ссылку

Последние заметки

<< Предыдущие 15 записей

- 26.02.2018 Бесшовная миграция (роуминг) Wi-Fi для клиентов Linux и Android

- 25.02.2018 Решение проблемы с картами Intel после устранения уязвимости в WPA2 в wpa_supplicant

- 19.02.2018 Использование ALSA в Firefox и приложениях, поддерживающих только PulseAudio

- 02.02.2018 Решение проблемы при отказе работы Skype за шлюзом с изменённым TCP MSL

- 15.01.2018 Использование USB-брелоков Yubikey для ключей GPG и SSH

- 02.01.2018 Создания WiFi-ретрансляторов с поддержкой построения Mesh-сети

- 27.12.2017 Как увеличить охват квартиры точкой доступа при помощи алюминиевой фольги

- 12.12.2017 Обход ограничения доступа к материалам сайтов для платных подписчиков

- 02.12.2017 Сборка ChromiumOS из исходных текстов для запуска в QEMU

- 29.11.2017 Возвращение к жизни Skype 4.3 для Linux

- 10.11.2017 Сборка системы виртуализации crosvm из Chrome OS в обычном дистрибутиве Linux

- 24.10.2017 Еscape-последовательности в сеансе OpenSSH

- 10.09.2017 Использование CAA записей в DNS для защиты от генерации фиктивных HTTPS-сертификатов

- 08.09.2017 Настройка ротации логов MongoDB

- 26.07.2017 Быстрый посмотр конфигурации GEOM во FreeBSD

Следующие 15 записей >>

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру