diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 1996-12-11 22:51:22 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 1996-12-11 22:51:22 +0000 |
| commit | ba8ea5d95e0edaea41feaab8da6210960e21244f (patch) | |
| tree | daf611035f6b1c853c1656d35e860c8b3cad6c52 /devel/lclint/pkg-comment | |
| parent | 1.0.95 --> 1.0.96 (diff) | |
LCLint is a tool for statically checking C programs. With minimal
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>
Diffstat (limited to 'devel/lclint/pkg-comment')
| -rw-r--r-- | devel/lclint/pkg-comment | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/lclint/pkg-comment b/devel/lclint/pkg-comment new file mode 100644 index 000000000000..ffae0cb0dfa9 --- /dev/null +++ b/devel/lclint/pkg-comment @@ -0,0 +1 @@ +A tool for statically checking C programs. |