I want to do a static analysis and MISRA compliance check on my code. I have polyspace 2018B. When I set my project up and start running bug finder, I see failed compilation due to limiation:fixed point type is not supported. The error comes from polyspace\extensions\tasking\...\tricore.h. This is a file that I don't use while I compile in eclipse. When I try to run bug finder, It just doesn't compile.