From 2aba433ec39a3b51e45d4d0262218654e090b65c Mon Sep 17 00:00:00 2001 From: Thomas Schwinge Date: Tue, 14 May 2013 23:13:04 +0200 Subject: contributing/web_pages/news/qoth_next: Cyril Roelandt's Coccinelle patches. --- open_issues/code_analysis.mdwn | 4 ++++ open_issues/locking_issues.mdwn | 9 +++++---- 2 files changed, 9 insertions(+), 4 deletions(-) (limited to 'open_issues') 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. * + 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 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. or b8082aab5049f753abd720a5ef6a113e2acef911 thx, I think I might have caught a few double unlocks, I'll send patches/bug reports this week-end - oh, good :) - Steap: Great -- looking forward to that! + +[[!message-id "1355701890-29227-1-git-send-email-tipecaml@gmail.com"]]. -- cgit v1.2.3