diff options
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. |