summaryrefslogtreecommitdiff
path: root/devel/splint/files (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update to version 2.4b.Steve Price1998-07-031-47/+56
| | | | | | | | PR: 7113 Submitted by: maintainer Notes: svn path=/head/; revision=11696
* LCLint is a tool for statically checking C programs. With minimalDavid E. O'Brien1996-12-111-0/+47
effort, LCLint can be used as a better lint. If additional effort is invested adding annotations to programs, LCLint can perform stronger checks than can be done by any standard lint. Check the LCLint home page at http://larch-www.lcs.mit.edu:8001/larch/lclint/ Closes-PR: ports/1646 Submitted by: Stefan Moeding <moeding@bn.DeTeMobil.de> Notes: svn path=/head/; revision=4937