Sisyphus repositório
Última atualização: 1 outubro 2023 | SRPMs: 18631 | Visitas: 37037853
en ru br
ALT Linux repositórios
S:3.1.2-alt2.qa1
5.0: 3.1.2-alt2
4.1: 3.1.2-alt1
4.0: 3.1.1-alt2
3.0: 3.1.1-alt2

Group :: Desenvolvimento/C
RPM: splint

 Principal   Changelog   Spec   Patches   Sources   Download   Gear   Bugs e FR  Repocop 

A versão atual: 3.1.2-alt2
Data da compilação: 28 julho 2008, 21:05 ( 817.4 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

Lista dos contribuidores

Lista dos rpms provida por esta srpm:

  • splint
ACL:
     
    projeto & código: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    mantenedor atual: Michael Shigorin
    mantenedor da tradução: Fernando Martini aka fmartini © 2009