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 записей

- 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

- 12.10.2023 Определение IP-адреса пользователя в Telegram через голосовой вызов

- 14.09.2023 Установка в мобильной версии Firefox любого расширения от десктоп-версии

- 10.09.2023 Часто используемые параметры sysctl, касающиеся настройки сети в Linux

- 09.08.2023 Запуск Linux на Android-телефоне с SD-карты без перепрошивки

- 18.04.2023 Перевод шифрованного раздела на LUKS2 и более надёжную функцию формирования ключа

- 31.03.2023 Пример правил nftables с реализацией port knoсking для открытия доступа к SSH

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

Партнёры:

Хостинг:

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

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