Is it possible to use Polyspace to run Static Analysis using the Keil C51 Compiler?
2 次查看(过去 30 天)
显示 更早的评论
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 :)
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/760576/image.png)
My current configuration ^^
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/760581/image.png)
The sort of errors I am getting which don't make much sense to me ^^
0 个评论
采纳的回答
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 个评论
更多回答(0 个)
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Target and Compiler 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!