ALT Linux repositórios
Group :: Desenvolvimento/C
RPM: splint
Navegação
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 3.1.2-alt2.qa1
Data da compilação: 15 abril 2013, 01:13 ( 529.1 weeks ago )
Tamanho:: 2.86 Mb
Home page: http://www.splint.org
Licença: GPLv2+
Sumário: Secure Programming Lint - annotation-assisted static program checker
Descrição:
Lista dos contribuidores Lista dos rpms provida por esta srpm:
ACL:
Data da compilação: 15 abril 2013, 01:13 ( 529.1 weeks ago )
Tamanho:: 2.86 Mb
Home page: http://www.splint.org
Licença: GPLv2+
Sumário: Secure Programming Lint - annotation-assisted static program checker
Descrição:
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.
Mantenedor currente: Slava Semushin 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.
Lista dos contribuidores Lista dos rpms provida por esta srpm:
- splint
- splint-debuginfo