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