Polyspace CP target and compiler.
조회 수: 4 (최근 30일)
이전 댓글 표시
I have a new CPU with source code developing on, it's Fujitsu 32-bit microcontroller FR81s MB91520 CPU.
So, can my Polyspace Code Prover support that CPU for static code analyzing. If Polyspace CP supports, which compiler and target I'll have to choose ?
BR. Thang Tran
댓글 수: 0
답변 (1개)
Ashfaqul Siraji
2021년 8월 6일
Hello
I understand that you want to configure Polyspace Code Prover for FR81 MB91520 CPU. You did not say which compiler you are using. I assume you are using Softune to compile code for the microcontroller, since thats the recommended compiler for Fujitso FR81.
When configuring Code Prover, the best bet is to use polyspace-configure with the build command for your compiler. Doing so allows polyspace to configure itself according to your specific environment. For instance, if your build command is:
%fcc907s file1.c file2.c file3.c -cpu MB90F553A,
then, at the command line, try:
%polyspace-configure fcc907s file1.c file2.c file3.c -cpu MB90F553A
This should create a project with the target and compiler options set. For more information, see polyspace-configure.
In case the above fails, you have the option to configure a generic target that suits your need specifically. If you know the details of the Fujitsu microcontroller, then you might want to mimic it as a generic target. See -target. For FR81, a word in 32 bit and a half word in 16 bit. That is, the size of int, float and larger types is 32 bit. Note that this processor is signed.
You can also specify generic compiler. See -compiler. Note that your compiler might have nonstandard preprocessor directives. You can provide them by using the -D option.
For the general target and compiler workflow, see https://www.mathworks.com/help/bugfinder/ug/specify-target-environment-and-compiler-behavior.html.
댓글 수: 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!