Polyspace unbalanced/nested critical sections

2018 1 11
1 个回答
更新时间：2024 8 17
11 次查看（30 天）

0 个投票

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

0 个投票

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

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by