          MODULE=splint
         VERSION=3.0.1.6
          SOURCE=$MODULE-$VERSION.src.tgz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$VERSION
   SOURCE_URL[0]=http://www.splint.org/downloads/$SOURCE
        WEB_SITE=http://lclint.cs.virginia.edu/
         ENTERED=20020723
         UPDATED=20020723
           SHORT="Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes."
cat << EOF
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.
EOF
