--- 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.
====