diff options
author | Menno E. Duursma <druiloor@zonnet.nl> | 2010-05-11 14:05:53 +0200 |
---|---|---|
committer | Erik Hanson <erik@slackbuilds.org> | 2010-05-11 14:05:53 +0200 |
commit | 529ccd9e1f5ab98bfca9c2a48347333c158d06ba (patch) | |
tree | bf2cdf991f8a95f6ff88762890e2c067a98ee7cf /development/splint/slack-desc | |
parent | 4521da10816ef243a80db8748aebb82b9d3e1480 (diff) |
development/splint: Initial import
Diffstat (limited to 'development/splint/slack-desc')
-rw-r--r-- | development/splint/slack-desc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/development/splint/slack-desc b/development/splint/slack-desc new file mode 100644 index 0000000000000..bb409aa212aa8 --- /dev/null +++ b/development/splint/slack-desc @@ -0,0 +1,11 @@ +splint: Splint (Secure Programming Lint) +splint: +splint: Splint is a tool for statically checking C programs for security +splint: vulnerabilities and coding mistakes. With minimal effort, Splint +splint: can be used as a better lint. If additional effort is invested +splint: adding annotations to programs, Splint can perform stronger checking +splint: than can be done by any standard lint. +splint: +splint: Splint is developed and maintained by the Secure Programming Group +splint: at the University of Virginia Department of Computer Science. David +splint: Evans is the project leader and the primary developer of Splint. |