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