diff options
author | mjl <mjl@pkgsrc.org> | 2002-11-27 14:39:14 +0000 |
---|---|---|
committer | mjl <mjl@pkgsrc.org> | 2002-11-27 14:39:14 +0000 |
commit | 0353b22f3d663ba7a15bbbba340ee93a411c2315 (patch) | |
tree | b8ba24f7f8639e66d03da7b2d9e2d0e668ea6525 /devel/splint | |
parent | 73ed72716878a98ff1d978f6d253c64e58ab0bc6 (diff) | |
download | pkgsrc-0353b22f3d663ba7a15bbbba340ee93a411c2315.tar.gz |
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.
Diffstat (limited to 'devel/splint')
-rw-r--r-- | devel/splint/DESCR | 7 | ||||
-rw-r--r-- | devel/splint/Makefile | 23 | ||||
-rw-r--r-- | devel/splint/PLIST | 57 | ||||
-rw-r--r-- | devel/splint/distinfo | 4 |
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 |