Polyspace unbalanced/nested critical sections

1 view (last 30 days)
Mario Grotschar
Mario Grotschar on 11 Jan 2018
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

Sign in to answer this question.

Answers (0)

Categories

Find more on Options at Command Line Only in Help Center and File Exchange

Tags

Products

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!