Is it possible to use Polyspace to run Static Analysis using the Keil C51 Compiler?

I work in the industry and I am required to run Static analysis over some C code which has been written for the 8051 processor, and therefore needs the Keil C51 Compiler to compile. We use Polyspace to run Static Analysis normally, however, the Target & Compiler configuration settings in Polyspace do not seem to include the Keil C51 Compiler as an option.

There is a Keil compiler drop down option, however not for the appropriate Target Processor Type. The way I understand it, the C51 compiler includes vital definitions that are required within the project code, and therefore it NEEDS to be used to successfully run the Static Analysis.

Does anyone know if it's possible to run Static Analysis using Polyspace on this code, or do I need to think about using some different software, either PC-Lint or C++ test as described in: Verification Tools (keil.com)

Thanks in advance for any help you can give, I'm only a beginner to looking at this stuff so if my wording isn't brilliant, it's because I am still learning :)

My current configuration ^^

The sort of errors I am getting which don't make much sense to me ^^

Answer 1

[Anirban]

The keyword xdata is not required for the Polyspace analysis and can be removed during preprocessing. Simply enter xdata= for the option Macros and you should stop seeing most of the errors.