summaryrefslogtreecommitdiff
path: root/devel/splint
AgeCommit message (Collapse)AuthorFilesLines
2005-05-31Added a patch that works around a missing <stdbool.h> header.rillig2-1/+22
Fixes PR 30014.
2005-05-22Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:jlam1-2/+2
USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison
2005-04-10Update splint to 3.1.1.jschauma2-6/+6
The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6 release. Among other improvements, the accuracy of the bounds checking code has improved; Splint can produce output in html or comma separated value(CSV) format; and support for numabstract types has been added. Additionally the code contains numerous bugs fixes and house keeping updates. (Details at http://www.splint.org/changes.html ) No list of changes available for the 3.1.1 release.
2005-02-23Add RMD160 digests.agc1-1/+2
2004-01-22replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.grant1-2/+2
2004-01-20Move WRKSRC definition away from the first paragraph in a Makefile.agc1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
2003-05-06Drop trailing whitespace. Ok'ed by wiz.jmmv1-1/+1
2003-03-29Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.jmmv1-3/+2
2002-11-27Initial import of splint 3.0.1.6.mjl4-0/+91
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.