diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-14 23:13:04 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-05-14 23:13:04 +0200 |
| commit | 2aba433ec39a3b51e45d4d0262218654e090b65c (patch) | |
| tree | 9cd8de4d65054f48cb295efbb7a8017d65962c7e /open_issues/code_analysis.mdwn | |
| parent | a0c1faeb3ab09f29626841af0860ed8ec0b77ee3 (diff) | |
contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches.
Diffstat (limited to 'open_issues/code_analysis.mdwn')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/open_issues/code_analysis.mdwn b/open_issues/code_analysis.mdwn index 5219b015..bdd2ae18 100644 --- a/open_issues/code_analysis.mdwn +++ b/open_issues/code_analysis.mdwn @@ -57,6 +57,10 @@ There is a [[!FF_project 276]][[!tag bounty]] on some of these tasks. * <http://www.google.com/search?q=coccinelle+analysis> + Has already been used for finding and fixing [[!message-id desc="double + mutex unlocking issues" + "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]]. + * [clang](http://www.google.com/search?q=clang+analysis) * [Linux' sparse](https://sparse.wiki.kernel.org/) |