Polyspace unbalanced/nested critical sections
3 views (last 30 days)
Show older comments
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
0 Comments
Answers (1)
Akshat Dalal
on 17 Aug 2024 at 6:00
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
0 Comments
See Also
Categories
Find more on Options at Command Line Only in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!