Sisyphus repositório
Última atualização: 17 outubro 2019 | SRPMs: 17500 | Visitas: 15287629
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.qa1
Data da compilação: 15 abril 2013, 01:13 ( 339.7 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
  • splint-debuginfo
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