From a61e4bc35f25bc361cde5a973334424c0c1fc5bf Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@codesourcery.com>
Date: Tue, 23 Oct 2012 12:04:41 +0200
Subject: open_issues/code_analysis: Splint.

---
 open_issues/code_analysis.mdwn | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'open_issues/code_analysis.mdwn')

diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn
index 00915651..f81af06e 100644
--- a/open_issues/code_analysis.mdwn
+++ b/open_issues/code_analysis.mdwn
@@ -85,6 +85,14 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks.
 
   * [Coverity](http://www.coverity.com/) (nonfree?)
 
+  * [Splint](http://www.splint.org/)
+
+      * IRC, freenode, #hurd, 2011-12-04
+
+            <mcsim> has anyone used splint on hurd?
+            <mcsim> this is tool for statically checking C programs
+            <mcsim> seems I made it work
+
 
 # Dynamic
 
-- 
cgit v1.2.3