./devel/splint, Statically check C programs

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 3.1.2, Package name: splint-3.1.2, Maintainer: pkgsrc-users

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.


Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 0df489cb228dcfffb149b38c57614c2c3e200501
RMD160: 52e9786d3cbeaa437877a33b18e42b32dff3b96b
Filesize: 2230.501 KB

Version history: (Expand)


CVS history: (Expand)


   2017-05-05 09:34:06 by Maya Rashish | Files touched by this commit (2)
Log message:
splint: use the standard check for C99 before including a C99 header

If PR pkg/47405 was not fixed before (it probably was), this should
definitely do the trick.
   2015-11-03 04:29:40 by Alistair G. Crooks | Files touched by this commit (1995)
Log message:
Add SHA512 digests for distfiles for devel category

Issues found with existing distfiles:
	distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip
	distfiles/fortran-utils-1.1.tar.gz
	distfiles/ivykis-0.39.tar.gz
	distfiles/enum-1.11.tar.gz
	distfiles/pvs-3.2-libraries.tgz
	distfiles/pvs-3.2-linux.tgz
	distfiles/pvs-3.2-solaris.tgz
	distfiles/pvs-3.2-system.tgz
No changes made to these distinfo files.

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
   2013-05-04 21:48:00 by Richard PALO | Files touched by this commit (1)
Log message:
Set LICENSE to gnu-gpl-v2 and fix modern solaris builds with c99
   2012-10-31 12:19:55 by Aleksej Saushev | Files touched by this commit (1460)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
   2012-06-02 07:53:14 by OBATA Akio | Files touched by this commit (1)
Log message:
Convert to usual way to define DISTNAME/PKGNAME and WRKSRC.
   2012-06-02 07:43:07 by OBATA Akio | Files touched by this commit (2)
Log message:
Allow compile on Mac OS X, taken from upstream fix.
Use pid_t instead of __pid_t.
Fixes PR 46514.
   2012-01-02 05:19:45 by David A. Holland | Files touched by this commit (3)
Log message:
- patch out uncompilable unused declaration (not clear how this ever worked)
- not MAKE_JOBS_SAFE
   2010-01-27 19:19:27 by Joerg Sonnenberger | Files touched by this commit (1)
Log message:
DESTDIR support from Steven Drake.