diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-10-23 12:04:41 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-10-23 12:04:41 +0200 |
| commit | a61e4bc35f25bc361cde5a973334424c0c1fc5bf (patch) | |
| tree | 4ea36dddd3241ebd6f0722d0d7fffb51a759cc4b /open_issues/code_analysis.mdwn | |
| parent | a29dec0b89f2961c8af41e6cd851b4ed9c9d28d8 (diff) | |
| download | web-a61e4bc35f25bc361cde5a973334424c0c1fc5bf.tar.gz web-a61e4bc35f25bc361cde5a973334424c0c1fc5bf.tar.bz2 web-a61e4bc35f25bc361cde5a973334424c0c1fc5bf.zip | |
open_issues/code_analysis: Splint.
Diffstat (limited to 'open_issues/code_analysis.mdwn')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 8 |
1 files changed, 8 insertions, 0 deletions
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 |