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/splint/pkg-descr | |
| parent | 159c85cecf77d2e417d2645ad47b1f308c3f0f2b (diff) | |
| download | ports-ba8ea5d95e0edaea41feaab8da6210960e21244f.tar.gz ports-ba8ea5d95e0edaea41feaab8da6210960e21244f.zip | |
Notes
Diffstat (limited to 'devel/splint/pkg-descr')
| -rw-r--r-- | devel/splint/pkg-descr | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/splint/pkg-descr b/devel/splint/pkg-descr new file mode 100644 index 000000000000..05cc0b5b9203 --- /dev/null +++ b/devel/splint/pkg-descr @@ -0,0 +1,8 @@ +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/ +for more information and complete documentation. |