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

2 次查看（过去 30 天）
Elliot Howard
Elliot Howard 2021-10-7
回答： Anirban 2021-10-11
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 ^^

请先登录，再回答此问题。

采纳的回答

Anirban
Anirban 2021-10-11
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.

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshoot Compilation Errors 的更多信息

标签

产品


版本

R2021a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by