Polyspace unbalanced/nested critical sections

Hello,

I have a question regarding critical sections in the context of dynamic polyspace analysis (code-prover). I have noticed that unbalanced locks for themselves appear not to create orange or red findings. Is this behavior intended?

BR

Answer 1

[Akshat Dalal]

Hello Mario,

Polyspace Bug-Finder would be a more appropriate tool for analysing critical sections of your code for unbalanced locks. The following documentation on concurrent analysis using Polyspace highlights the difference scenarios Code-Prover and Bug-Finder cover: https://www.mathworks.com/help/bugfinder/ug/analyze-multitasking-programs-in-polyspace.html