Polyspace unbalanced/nested critical sections

1 次查看（过去 30 天）
Mario Grotschar
Mario Grotschar 2018-1-11
回答： Akshat Dalal 2024-8-17
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

请先登录，再回答此问题。

回答（1 个）

Akshat Dalal
Akshat Dalal 2024-8-17
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

类别

在 Help Center 和 File Exchange 中查找有关 Generate Report 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by