summaryrefslogtreecommitdiff
path: root/development/splint/slack-desc
diff options
context:
space:
mode:
authorMenno E. Duursma <druiloor@zonnet.nl>2010-05-11 14:05:53 +0200
committerErik Hanson <erik@slackbuilds.org>2010-05-11 14:05:53 +0200
commit529ccd9e1f5ab98bfca9c2a48347333c158d06ba (patch)
treebf2cdf991f8a95f6ff88762890e2c067a98ee7cf /development/splint/slack-desc
parent4521da10816ef243a80db8748aebb82b9d3e1480 (diff)
downloadslackbuilds-529ccd9e1f5ab98bfca9c2a48347333c158d06ba.tar.gz
development/splint: Initial import
Diffstat (limited to 'development/splint/slack-desc')
-rw-r--r--development/splint/slack-desc11
1 files changed, 11 insertions, 0 deletions
diff --git a/development/splint/slack-desc b/development/splint/slack-desc
new file mode 100644
index 0000000000..bb409aa212
--- /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.