logo

Пакет splint: Информация

Исходный пакет: splint
Версия: 3.1.2-alt2.qa1
Собран:  2 октября 2022 г. 3:31
Категория: Разработка/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.
Список rpm-пакетов, предоставляемых данным srpm-пакетом: 
splint (e2kv5, e2kv4, e2k)
splint-debuginfo (e2kv5, e2kv4, e2k)
Сопровождающий: Slava Semushin
Список участников: 
Dmitry V. Levin
Slava Semushin
Dmitry V. Levin
    1. flex
Последние изменения:
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
Наверх