diff options
| author | Menno E. Duursma <druiloor@zonnet.nl> | 2010-05-11 22:22:46 +0200 |
|---|---|---|
| committer | Erik Hanson <erik@slackbuilds.org> | 2010-05-11 22:22:46 +0200 |
| commit | f44e9d9541e28b6468c1779d78d10e32a474d021 (patch) | |
| tree | b0b0eb54fa0f58fe80bfb98511010e45d6e6eb22 /development/splint/slack-desc | |
| parent | 467e2d2eed529b9060acc1897ef096c80aba9e95 (diff) | |
development/splint: Updated for version 3.1.2
Diffstat (limited to 'development/splint/slack-desc')
| -rw-r--r-- | development/splint/slack-desc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/splint/slack-desc b/development/splint/slack-desc index 8a71d167b16c9..d481dca8d18e4 100644 --- a/development/splint/slack-desc +++ b/development/splint/slack-desc @@ -9,11 +9,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: vulnerabilities and coding mistakes. 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. +splint: +splint: +splint: |