diff options
| author | obrien <obrien@FreeBSD.org> | 1996-12-12 06:51:22 +0800 |
|---|---|---|
| committer | obrien <obrien@FreeBSD.org> | 1996-12-12 06:51:22 +0800 |
| commit | 32ac99ff52380e5bf7be6d8383d8aae95f505563 (patch) | |
| tree | 5e64c14607726ab2118cde28a4119b29079a6bc3 /devel/splint/pkg-descr | |
| parent | 8f10c6cec6f58f03623d4a00f64fedaa326a08bc (diff) | |
| download | freebsd-ports-gnome-32ac99ff52380e5bf7be6d8383d8aae95f505563.tar.gz freebsd-ports-gnome-32ac99ff52380e5bf7be6d8383d8aae95f505563.tar.zst freebsd-ports-gnome-32ac99ff52380e5bf7be6d8383d8aae95f505563.zip | |
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/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. |