From 529ccd9e1f5ab98bfca9c2a48347333c158d06ba Mon Sep 17 00:00:00 2001 From: "Menno E. Duursma" Date: Tue, 11 May 2010 14:05:53 +0200 Subject: development/splint: Initial import --- development/splint/slack-desc | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 development/splint/slack-desc (limited to 'development/splint/slack-desc') diff --git a/development/splint/slack-desc b/development/splint/slack-desc new file mode 100644 index 000000000000..bb409aa212aa --- /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. -- cgit v1.2.3