PACKAGE NAME:  splint-20170327_3fb908d-i586-1salix15.0.txz
PACKAGE LOCATION:  ./salix/development
PACKAGE SIZE (compressed):  1202 K
PACKAGE SIZE (uncompressed):  4808 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: