Code prover gives force refined shared variables analysis error.

1 次查看（过去 30 天）
Husnu umut Okur
Husnu umut Okur 2023-1-7
评论： Husnu umut Okur 2023-1-13
While Bug finder finds data race defect Code Prover can not find any shared variables defect and gives 'force refined shared variables analysis' error. I followed documentation to solve force refined shared variables analysis error but it didn't work. How can i fix this ?

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

回答（1 个）

Anirban
Anirban 2023-1-9
Some more information is needed to answer this question.
  • Are you using a manual multitasking configuration? In other words, are you explicitly stating your tasks in the analysis configuration?
  • Is the error blocking the analysis? In other words, do you not get results at all? Can you quote the full error message?
Code Prover is a bit more strict compared to Bug Finder when it comes to analyzing multitasking applications. See:
  1 个评论
Husnu umut Okur
Husnu umut Okur 2023-1-13
Hi,
I am using manual multitasking configuration and analysis is completing. But in the result of analysis i get a warning. ' Important use of shared variables have been detected. ' and it does not find and show me shared variable defect.

请先登录，再进行评论。

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis in Polyspace Platform User Interface 的更多信息

标签

产品


版本

R2020b

Community Treasure Hunt

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

Start Hunting!

Translated by