diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-09-06 19:35:59 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-09-06 19:35:59 +0200 |
| commit | e0dd25dccb41c987463ba4519fa92f456840cb74 (patch) | |
| tree | 2cfa9b8e3fd4e2e9c00add69acc852515495bd5f /open_issues/code_analysis.mdwn | |
| parent | c13fc001dbf8b9da4ebf730761fc7b8c1f017c56 (diff) | |
| parent | 647faa6dd7e286d20171247039bd59600bb7e436 (diff) | |
Merge branch 'master' of flubber:~hurd-web/hurd-web
Diffstat (limited to 'open_issues/code_analysis.mdwn')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index ab90a6b6..552cd2c9 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -27,6 +27,13 @@ analysis|performance]], [[formal_verification]], as well as general * [[!wikipedia List_of_tools_for_static_code_analysis]] + * [Cppcheck](http://sourceforge.net/apps/mediawiki/cppcheck/) + + For example, [Debian's hurd_20110319-2 + package](http://qa.debian.org/daca/cppcheck/sid/hurd_20110319-2.html) + (Samuel Thibault, 2011-08-05: *I had a look at those, some are spurious; + the realloc issues are for real*). + * Coccinelle * <http://lwn.net/Articles/315686/> |