diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-12-09 13:26:55 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-12-09 13:26:55 +0100 |
| commit | d9c728c7e5c90acbd5a2d776c697acff48e14c67 (patch) | |
| tree | 5acc05fab924ffe081f4f7714286594e6c13c914 | |
| parent | c36d2e0aa3c5d0fcb312a066817c0c6328685d56 (diff) | |
open_issues/code_analysis: Add some more.
<http://www.pro-linux.de/news/1/16357/comm/468234/hei-da-machen-sie-sich-wieder-wichtig.html>
| -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/> |