Initial import of splint 3.0.1.6.

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. 

Splint 3.0 is the successor to LCLint 2.5.

4 files changed, 91 insertions, 0 deletions

diff --git a/devel/splint/DESCR b/devel/splint/DESCR
new file mode 100644
index 00000000000..a476dcab8bd
--- /dev/null
+++ b/devel/splint/DESCR
@@ -0,0 +1,7 @@
+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. 
+
+Splint 3.0 is the successor to LCLint 2.5.
diff --git a/devel/splint/Makefile b/devel/splint/Makefile
new file mode 100644
index 00000000000..5e3fea9b05f
--- /dev/null
+++ b/devel/splint/Makefile
@@ -0,0 +1,23 @@
+# $NetBSD: Makefile,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+#
+
+VERSION=	3.0.1.6
+DISTNAME=	splint-${VERSION}.src
+PKGNAME=	splint-${VERSION}
+CATEGORIES=	devel
+MASTER_SITES=	http://www.splint.org/downloads/
+EXTRACT_SUFX= .tgz
+
+MAINTAINER=	packages@netbsd.org
+HOMEPAGE=	http://lclint.cs.virginia.edu/
+COMMENT=	Statically check C programs
+
+WRKSRC=		${WRKDIR}/splint-${VERSION}
+
+USE_GMAKE=	YES
+GNU_CONFIGURE=  YES
+
+post-install:
+	${INSTALL_MAN} ${WRKSRC}/doc/splint.1 ${PREFIX}/man/man1
+
+.include "../../mk/bsd.pkg.mk"
diff --git a/devel/splint/PLIST b/devel/splint/PLIST
new file mode 100644
index 00000000000..93cf5cc09af
--- /dev/null
+++ b/devel/splint/PLIST
@@ -0,0 +1,57 @@
+@comment $NetBSD: PLIST,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+bin/splint
+man/man1/splint.1
+share/splint/lib/standard.h
+share/splint/lib/standard.lcd
+share/splint/lib/standardstrict.lcd
+share/splint/lib/posix.h
+share/splint/lib/posix.lcd
+share/splint/lib/posixstrict.lcd
+share/splint/lib/unix.h
+share/splint/lib/unix.lcd
+share/splint/lib/unixstrict.lcd
+share/splint/lib/CTrait.syms
+share/splint/lib/CTraitGen.lcl
+share/splint/lib/bool.h
+share/splint/lib/file.mts
+share/splint/lib/file.xh
+share/splint/lib/filerw.mts
+share/splint/lib/filerw.xh
+share/splint/lib/lclinit.lci
+share/splint/lib/linux.h
+share/splint/lib/lslinit.lsi
+share/splint/lib/tainted.mts
+share/splint/lib/tainted.xh
+share/splint/lib/stdio.h
+share/splint/lib/stdlib.h
+share/splint/imports/assert.lcl
+share/splint/imports/assert.lcs
+share/splint/imports/ctype.lcl
+share/splint/imports/ctype.lcs
+share/splint/imports/errno.lcl
+share/splint/imports/errno.lcs
+share/splint/imports/limits.lcl
+share/splint/imports/limits.lcs
+share/splint/imports/locale.lcl
+share/splint/imports/locale.lcs
+share/splint/imports/math.lcl
+share/splint/imports/math.lcs
+share/splint/imports/setjmp.lcl
+share/splint/imports/setjmp.lcs
+share/splint/imports/signal.lcl
+share/splint/imports/signal.lcs
+share/splint/imports/stdarg.lcl
+share/splint/imports/stdarg.lcs
+share/splint/imports/stdio.lcl
+share/splint/imports/stdio.lcs
+share/splint/imports/stdlib.lcl
+share/splint/imports/stdlib.lcs
+share/splint/imports/string.lcl
+share/splint/imports/string.lcs
+share/splint/imports/strings.lcl
+share/splint/imports/strings.lcs
+share/splint/imports/time.lcl
+share/splint/imports/time.lcs
+@dirrm share/splint/lib
+@dirrm share/splint/imports
+@dirrm share/splint
diff --git a/devel/splint/distinfo b/devel/splint/distinfo
new file mode 100644
index 00000000000..cf18b0f017b
--- /dev/null
+++ b/devel/splint/distinfo
@@ -0,0 +1,4 @@
+$NetBSD: distinfo,v 1.1.1.1 2002/11/27 14:39:14 mjl Exp $
+
+SHA1 (splint-3.0.1.6.src.tgz) = 65c15cef2b2a554c484127b86668efd4e76e9604
+Size (splint-3.0.1.6.src.tgz) = 1592456 bytes