diff options
| -rw-r--r-- | open_issues/code_analysis.mdwn | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index ad104e68..114dfbbf 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -12,6 +12,10 @@ There is static and dynamic code analysis. This overlaps with [[debugging]]. * [[GCC]]'s warnings. Yes, really. + * [Static Source Code Analysis Tools for C](http://spinroot.com/static/) + + * [[!wikipedia List_of_tools_for_static_code_analysis]] + * Coccinelle * <http://lwn.net/Articles/315686/> @@ -32,6 +36,20 @@ There is static and dynamic code analysis. This overlaps with [[debugging]]. * [[Valgrind]] + * [Smatch](http://smatch.sourceforge.net/) + + * [Parfait](http://labs.oracle.com/projects/parfait/) + + * <http://lwn.net/Articles/344003/> + + * [Saturn](http://saturn.stanford.edu/) + + * [Flawfinder](http://www.dwheeler.com/flawfinder/) + + * [sixgill](http://sixgill.org/) + + * [Coverity](http://www.coverity.com/) -- commercial? + * <http://en.wikipedia.org/wiki/Electric_Fence> * <http://sourceforge.net/projects/duma/> |