How do I get polyspace to recognise AUTOSAR exclusive areas?

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.

Answer 1

[Anirban]

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