This is the mail archive of the cygwin-apps mailing list for the Cygwin project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[ITA] splint 3.1.1 - Check C programs for security vulnerabilities

Adopted from Elfyn McBratney


sdesc: "Check C programs for security vulnerabilities and programming
ldesc: "Splint does many of the traditional lint checks including
unused declarations, type inconsistencies, use before definition,
unreachable code, ignored return values, execution paths with no
return, likely infinite loops, and fall through cases. More powerful
checks are made possible by additional information given in source
code annotations. Annotations are stylized comments that document
assumptions about functions, variables, parameters and types. In
addition to the checks specifically enabled by annotations, many of
the traditional lint checks are improved by exploiting this additional
category: Devel
requires: cygwin

a) manual

  wget        \ \ \

b) automated: displays further instructions

  gpg --keyserver --recv-keys 955A92D8

  mkdir splint ; cd splint
  rm -f
  wget \

  gpg --verify &&

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]