Splint.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Wed, 14 Dec 2011 15:04:15 +0200
changeset 1170 d575b6abcc42
parent 1169 9e558cd5bbd7
child 1171 7d45ad92679a
Splint.
code-analysis.rst
--- a/code-analysis.rst	Wed Dec 14 14:59:01 2011 +0200
+++ b/code-analysis.rst	Wed Dec 14 15:04:15 2011 +0200
@@ -10,6 +10,23 @@
 
  * http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis
 
+Splint.
+=======
+
+Secure Programming Lint, is a programming tool for statically checking C
+programs for security vulnerabilities and coding mistakes. Formerly called
+LCLint, it is a modern version of the Unix lint tool.
+
+  http://en.wikipedia.org/wiki/Splint_%28programming_tool%29
+
+Sparse.
+=======
+
+Sparse is a tool designed to find possible coding faults in the Linux kernel.
+
+  http://en.wikipedia.org/wiki/Sparse
+                Wikipedia page.
+
 PMD.
 ====