diff options
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/) |