PACKAGE NAME:  splint-3.1.2-x86_64-2_slack.txz
PACKAGE MIRROR:  http://slackonly.com/pub/packages/14.1-x86_64/
PACKAGE LOCATION:  ./development/splint
PACKAGE SIZE (compressed):  1232 K
PACKAGE SIZE (uncompressed):  4100 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: