Date: Sat, 23 Feb 2002 17:29:36 +0100 (CET) From: Jeroen Ruigrok van der Werven <asmodai@wxs.nl> To: FreeBSD-gnats-submit@freebsd.org Subject: ports/35247: New port: devel/splint Message-ID: <20020223162936.E449F216E@a96180.upc-a.chello.nl>
next in thread | raw e-mail | index | archive | help
>Number: 35247 >Category: ports >Synopsis: New port: devel/splint >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Sat Feb 23 08:30:01 PST 2002 >Closed-Date: >Last-Modified: >Originator: Jeroen Ruigrok van der Werven >Release: FreeBSD 5.0-CURRENT i386 >Organization: Ninth Circle Enterprises >Environment: System: FreeBSD daemon.chronias.ninth-circle.org 5.0-CURRENT FreeBSD 5.0-CURRENT #6: Sat Nov 24 17:08:51 CET 2001 asmodai@celestial.chronias.ninth-circle.org:/usr/src/sys/i386/compile/DAEMON i386 >Description: A new port submission, devel/splint: A tool for statically checking C programs for security vulnerabilities and coding mistakes. This port is a newer version than ports/33788, plus I also didn't chose to update lclint, but I chose to place this in a seperate directory because the focus of lclint versus splint changed towards more security minded checks. It might need a repocopy from lclint to splint though, not sure. >How-To-Repeat: N/A. >Fix: --- splint.shar begins here --- # This is a shell archive. Save it in a file, remove anything before # this line, and then unpack it by entering "sh file". Note, it may # create directories; files and directories will be owned by you and # have default permissions. # # This archive contains: # # devel/splint # devel/splint/distinfo # devel/splint/pkg-comment # devel/splint/pkg-descr # devel/splint/pkg-plist # devel/splint/Makefile # devel/splint/files # devel/splint/files/patch-src-Makefile.in # echo c - devel/splint mkdir -p devel/splint > /dev/null 2>&1 echo x - devel/splint/distinfo sed 's/^X//' >devel/splint/distinfo << 'END-of-devel/splint/distinfo' XMD5 (splint-3.0.1.6.src.tgz) = 3b19e62d5b3a8883ac356dff3615234c END-of-devel/splint/distinfo echo x - devel/splint/pkg-comment sed 's/^X//' >devel/splint/pkg-comment << 'END-of-devel/splint/pkg-comment' XA tool for statically checking sourcecode for security vulnerabilities END-of-devel/splint/pkg-comment echo x - devel/splint/pkg-descr sed 's/^X//' >devel/splint/pkg-descr << 'END-of-devel/splint/pkg-descr' XSplint is a tool for statically checking C programs for security Xvulnerabilities and coding mistakes. With minimal effort, Splint can be used Xas a better lint. If additional effort is invested adding annotations to Xprograms, Splint can perform stronger checking than can be done by any Xstandard lint. X XWWW: http://www.splint.org/ END-of-devel/splint/pkg-descr echo x - devel/splint/pkg-plist sed 's/^X//' >devel/splint/pkg-plist << 'END-of-devel/splint/pkg-plist' Xbin/i386--freebsd4.5-splint Xshare/splint/lib/standard.h Xshare/splint/lib/standard.lcd Xshare/splint/lib/standardstrict.lcd Xshare/splint/lib/posix.h Xshare/splint/lib/posix.lcd Xshare/splint/lib/posixstrict.lcd Xshare/splint/lib/unix.h Xshare/splint/lib/unix.lcd Xshare/splint/lib/unixstrict.lcd Xshare/splint/lib/CTrait.syms Xshare/splint/lib/CTraitGen.lcl Xshare/splint/lib/bool.h Xshare/splint/lib/file.mts Xshare/splint/lib/file.xh Xshare/splint/lib/filerw.mts Xshare/splint/lib/filerw.xh Xshare/splint/lib/lclinit.lci Xshare/splint/lib/linux.h Xshare/splint/lib/lslinit.lsi Xshare/splint/lib/tainted.mts Xshare/splint/lib/tainted.xh Xshare/splint/lib/stdio.h Xshare/splint/lib/stdlib.h Xshare/splint/imports/assert.lcl Xshare/splint/imports/assert.lcs Xshare/splint/imports/ctype.lcl Xshare/splint/imports/ctype.lcs Xshare/splint/imports/errno.lcl Xshare/splint/imports/errno.lcs Xshare/splint/imports/limits.lcl Xshare/splint/imports/limits.lcs Xshare/splint/imports/locale.lcl Xshare/splint/imports/locale.lcs Xshare/splint/imports/math.lcl Xshare/splint/imports/math.lcs Xshare/splint/imports/setjmp.lcl Xshare/splint/imports/setjmp.lcs Xshare/splint/imports/signal.lcl Xshare/splint/imports/signal.lcs Xshare/splint/imports/stdarg.lcl Xshare/splint/imports/stdarg.lcs Xshare/splint/imports/stdio.lcl Xshare/splint/imports/stdio.lcs Xshare/splint/imports/stdlib.lcl Xshare/splint/imports/stdlib.lcs Xshare/splint/imports/string.lcl Xshare/splint/imports/string.lcs Xshare/splint/imports/strings.lcl Xshare/splint/imports/strings.lcs Xshare/splint/imports/time.lcl Xshare/splint/imports/time.lcs X@dirrm share/splint/lib X@dirrm share/splint/imports X@dirrm share/splint X@dirrm share END-of-devel/splint/pkg-plist echo x - devel/splint/Makefile sed 's/^X//' >devel/splint/Makefile << 'END-of-devel/splint/Makefile' X# New ports collection makefile for: lclint X# Date created: 23 February 2002 X# Whom: asmodai X# X# $FreeBSD$ X# X XPORTNAME= splint XPORTVERSION= 3.0.1.6 XCATEGORIES= devel security XMASTER_SITES= http://www.splint.org/downloads/ XEXTRACT_SUFX= .src.tgz X XMAINTAINER= ports@FreeBSD.Org X XGNU_CONFIGURE= yes XCONFIGURE_TARGET= --build=${ARCH}-portbld-freebsd${OSREL} XUSE_GMAKE= yes X X.include <bsd.port.mk> END-of-devel/splint/Makefile echo c - devel/splint/files mkdir -p devel/splint/files > /dev/null 2>&1 echo x - devel/splint/files/patch-src-Makefile.in sed 's/^X//' >devel/splint/files/patch-src-Makefile.in << 'END-of-devel/splint/files/patch-src-Makefile.in' X--- src/Makefile.in.orig Sat Feb 23 16:59:27 2002 X+++ src/Makefile.in Sat Feb 23 17:00:02 2002 X@@ -603,7 +603,7 @@ X p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \ X if test -f $$p \ X ; then \ X- f=`echo $$p1|sed '$(transform);s/$$/$(EXEEXT)/'`; \ X+ f=splint; \ X echo " $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f"; \ X $(INSTALL_PROGRAM_ENV) $(INSTALL_PROGRAM) $$p $(DESTDIR)$(bindir)/$$f; \ X else :; fi; \ END-of-devel/splint/files/patch-src-Makefile.in exit --- splint.shar ends here --- >Release-Note: >Audit-Trail: >Unformatted: To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-ports" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20020223162936.E449F216E>