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 | |
| parent | a0c1faeb3ab09f29626841af0860ed8ec0b77ee3 (diff) | |
contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches.
Diffstat (limited to 'open_issues')
| -rw-r--r-- | open_issues/code_analysis.mdwn | 4 | ||||
| -rw-r--r-- | open_issues/locking_issues.mdwn | 9 |
2 files changed, 9 insertions, 4 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/) diff --git a/open_issues/locking_issues.mdwn b/open_issues/locking_issues.mdwn index 8008e5a1..7086107b 100644 --- a/open_issues/locking_issues.mdwn +++ b/open_issues/locking_issues.mdwn @@ -1,4 +1,5 @@ -[[!meta copyright="Copyright © 2011, 2012 Free Software Foundation, Inc."]] +[[!meta copyright="Copyright © 2011, 2012, 2013 Free Software Foundation, +Inc."]] [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable id="license" text="Permission is granted to copy, distribute and/or modify this @@ -34,7 +35,7 @@ verification/[[code_analysis]] that can likely help here. There is a [[!FF_project 278]][[!tag bounty]] on this task. -# IRC, fOFTC, #debian-hurd, 2012-12-15 +# IRC, OFTC, #debian-hurd, 2012-12-15 <Steap> youpi: can you think of a locking error recently fixed in the translators ? I'd like to try a Coccinelle script on a real-world example @@ -43,5 +44,5 @@ There is a [[!FF_project 278]][[!tag bounty]] on this task. <youpi> or b8082aab5049f753abd720a5ef6a113e2acef911 <Steap> thx, I think I might have caught a few double unlocks, I'll send patches/bug reports this week-end - <youpi> oh, good :) - <tschwinge> Steap: Great -- looking forward to that! + +[[!message-id "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]]. |