File tree Expand file tree Collapse file tree 2 files changed +2
-20
lines changed
Expand file tree Collapse file tree 2 files changed +2
-20
lines changed Original file line number Diff line number Diff line change 11{
22 "CERT-C" : {
3- "CON31-C" : {
4- "properties" : {
5- "obligation" : " rule"
6- },
7- "queries" : [
8- {
9- "description" : " Allowing a mutex to go out of scope while it is locked removes protections around shared resources." ,
10- "kind" : " problem" ,
11- "name" : " Do not destroy a mutex while it is locked" ,
12- "precision" : " medium" ,
13- "severity" : " error" ,
14- "short_name" : " DoNotDestroyAMutexWhileItIsLocked" ,
15- "tags" : [
16- " correctness" ,
17- " concurrency"
18- ]
19- }
20- ],
21- "title" : " Do not destroy a mutex while it is locked"
22- },
233 "CON35-C" : {
244 "properties" : {
255 "obligation" : " rule"
3212 "precision" : " very-high" ,
3313 "severity" : " error" ,
3414 "short_name" : " DeadlockByLockingInPredefinedOrder" ,
15+ "shared_implementation_short_name" : " PreventDeadlockByLockingInPredefinedOrder" ,
3516 "tags" : [
3617 " correctness" ,
3718 " concurrency"
Original file line number Diff line number Diff line change 8585 "precision" : " medium" ,
8686 "severity" : " error" ,
8787 "short_name" : " DeadlockByLockingInPredefinedOrder" ,
88+ "shared_implementation_short_name" : " PreventDeadlockByLockingInPredefinedOrder" ,
8889 "tags" : [
8990 " correctness" ,
9091 " concurrency"
You can’t perform that action at this time.
0 commit comments