清空筛选条件
清空筛选条件

How do I get polyspace to recognise AUTOSAR exclusive areas?

5 次查看（过去 30 天）
Hans Odeberg
Hans Odeberg 2023-11-20
回答： Anirban 2023-11-28
Recently I added the -autosar-multitasking <OS arxml file> option to Polyspace bugfinder R2023b. Immediately I got a lot of new warnings about variables being accessed non-atomically from different tasks. So far, so good.
But: I am getting a lot of false positives, where variable access is correctly protected by AUTOSAR exclusive areas implemented by disabling interrupts or taking a spinlock. How do I make Polyspace aware of these exclusive areas?
I tried also including the RTE arxml file, where the implementation of these areas is defined, but that did not help.

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

采纳的回答

Anirban
Anirban 2023-11-28
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Code Prover Analysis of AUTOSAR Code 的更多信息

标签

产品


版本

R2023b

Community Treasure Hunt

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

Start Hunting!

Translated by