How do I get polyspace to recognise AUTOSAR exclusive areas?
3 views (last 30 days)
Show older comments
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.
0 Comments
Accepted Answer
Anirban
on 28 Nov 2023
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html
0 Comments
More Answers (0)
See Also
Categories
Find more on Code Prover Analysis of AUTOSAR Code in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!