diff options
| author | mjl <mjl> | 2002-11-27 14:39:14 +0000 |
|---|---|---|
| committer | mjl <mjl> | 2002-11-27 14:39:14 +0000 |
| commit | 7ac9be27c54474868c02701fa4a6493920094f4d (patch) | |
| tree | b8ba24f7f8639e66d03da7b2d9e2d0e668ea6525 /devel/splint/DESCR | |
| parent | 4d0c653cf3883a04c25ed5d59a2d107e4b91b016 (diff) | |
| download | pkgsrc-7ac9be27c54474868c02701fa4a6493920094f4d.tar.gz | |
Initial import of splint 3.0.1.6.
Splint is a tool for statically checking C programs for security
vulnerabilities and coding mistakes. With minimal effort, Splint
can be used as a better lint. If additional effort is invested
adding annotations to programs, Splint can perform stronger checking
than can be done by any standard lint.
Splint 3.0 is the successor to LCLint 2.5.
Diffstat (limited to 'devel/splint/DESCR')
| -rw-r--r-- | devel/splint/DESCR | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/devel/splint/DESCR b/devel/splint/DESCR new file mode 100644 index 00000000000..a476dcab8bd --- /dev/null +++ b/devel/splint/DESCR @@ -0,0 +1,7 @@ +Splint is a tool for statically checking C programs for security +vulnerabilities and coding mistakes. With minimal effort, Splint +can be used as a better lint. If additional effort is invested +adding annotations to programs, Splint can perform stronger checking +than can be done by any standard lint. + +Splint 3.0 is the successor to LCLint 2.5. |