ALT Linux repositórios
Group :: Desenvolvimento/C
RPM: splint
Principal Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
A versão atual: 3.1.1-alt2
Data da compilação: 12 setembro 2003, 16:02 ( 1075.9 weeks ago )
Tamanho:: 3.04 Mb
Home page: http://www.splint.org
Licença: GPL
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: 12 setembro 2003, 16:02 ( 1075.9 weeks ago )
Tamanho:: 3.04 Mb
Home page: http://www.splint.org
Licença: GPL
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: Dmitry V. Levin 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