How do I get polyspace to recognise AUTOSAR exclusive areas?
조회 수: 3 (최근 30일)
이전 댓글 표시
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
채택된 답변
Anirban
2023년 11월 28일
Please contact MathWorks Technical Support for more help with the problem: https://www.mathworks.com/support/contact_us.html
댓글 수: 0
추가 답변 (0개)
참고 항목
카테고리
Help Center 및 File Exchange에서 Code Prover Analysis of AUTOSAR Code에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!