Polyspace unbalanced/nested critical sections
3 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti
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 Commenti
Risposte (1)
Akshat Dalal
il 17 Ago 2024 alle 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 Commenti
Vedere anche
Categorie
Scopri di più su Options at Command Line Only in Help Center e File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!