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?

BRHello,

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 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 code prover, unbalanced locks, double locks MATLAB Answers — New Questions

​