PACKAGE NAME: splint-20170327_3fb908d-x86_64-1_dce.tgz
PACKAGE MIRROR: http://slackdce.radioclub.ar/slackdce/15.0/x86_64/
PACKAGE LOCATION: ./development/splint
PACKAGE SIZE (compressed): 1440 K
PACKAGE SIZE (uncompressed): 3780 K
PACKAGE REQUIRED:  
PACKAGE CONFLICTS:  
PACKAGE SUGGESTS:  
PACKAGE DESCRIPTION:
splint: splint (Secure Programming Lint)
splint:
splint: Splint is a tool for statically checking C programs for security
splint: vulnerabilities and coding mistakes.
splint:
splint: Splint is developed and maintained by the Secure Programming Group
splint: at the University of Virginia Department of Computer Science. David
splint: Evans is the project leader and the primary developer of Splint.
splint:
splint:
splint: