Re: [Cocci] [PATCH v2] coccinelle: locks: Add balancedlock.cocci script

2020-11-18 Thread Julia Lawall
> > +++ b/scripts/coccinelle/locks/balancedlock.cocci > … > > +//# False positives may be generated due to locks released within a nested > > +//# function call or a goto block. > > +/// > > +// Confidence: Moderate > > How good does such information fit together? > What kind of response do you

Re: [Cocci] [PATCH v2] coccinelle: locks: Add balancedlock.cocci script

2020-11-18 Thread Markus Elfring
> Changes in v2(as suggested by Markus): Thanks you picked a few suggestions up. I would appreciate further constructive clarifications. … > +++ b/scripts/coccinelle/locks/balancedlock.cocci … > +//# False positives may be generated due to locks released within a nested > +//# function call

[Cocci] [PATCH v2] coccinelle: locks: Add balancedlock.cocci script

2020-11-18 Thread Sumera Priyadarsini
When acquiring locks under certain conditions, they must be released under the same conditions as well. However, sometimes, there may be missing unlocks which may lead to a potential deadlock. Add this script to detect such code segments and avoid potential deadlock situations. Signed-off-by: