           SPELL=splint
         VERSION=3.1.1
          SOURCE=$SPELL-$VERSION.src.tgz
SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION
   SOURCE_URL[0]=http://www.splint.org/downloads/$SOURCE
     SOURCE_HASH=sha512:26342ff5d5023b54bf679ccecb4eb950468f0aa73096fdba6204340f279a0cbd7586ee438dcd6158e24581b83f99ee485d7edbabb1e09727b979472f05cac5b8
        WEB_SITE=http://lclint.cs.virginia.edu/
         ENTERED=20030514
      LICENSE[0]=GPL
        KEYWORDS="security devel"
           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
