# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1323867855 -7200
# Node ID d575b6abcc4200bc34d6395eb178ad0658735d94
# Parent  9e558cd5bbd7bf316ba5e2135b7fdc1f0353e604
Splint.

diff -r 9e558cd5bbd7 -r d575b6abcc42 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.
 ====