Пакет splint: Информация
Бинарный пакет: splint
Версия: 3.1.2-alt2.qa1
Архитектура: e2kv5
Собран: 20 января 2021 г. 12:57
Исходный пакет: splint
Категория: Разработка/C
Сообщить об ошибке в пакетеДомашняя страница: http://www.splint.org
Лицензия: GPLv2+
О пакете: Secure Programming Lint - annotation-assisted static program checker
Описание:
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint.
Сопровождающий: Slava Semushin
Последнее изменение
15 апреля 2013 г. Dmitry V. Levin 3.1.2-alt2.qa1
- NMU: rebuilt for debuginfo.
29 июля 2008 г. Slava Semushin 3.1.2-alt2
- Added Packager tag (noted by repocop) - More proper License tag - Removed trailing space from %description
2 января 2008 г. Slava Semushin 3.1.2-alt1
- Bump release and move package to Sisyphus