polyspace Compiler 및 target data type 설정 문의
3 次查看(过去 30 天)
显示 更早的评论
안녕하세요?
Polyspace bugfinder에서 정적분석진행중입니다.
현재 사용하는 target compiler에서 long type의 경우 64bit를 사용하는 것으로 확인했는데, polyspace에서는 long type을 64bit로 설정하는 부분이 없네요
(Target custom하는 부분)
추가로 x86_64의 경우가 유일하게 long type이 64bit로 설정가능하며, 제가 사용하는 컴파일러 데이터 타입과 동일한데 x86_64를 사용해도 문제되는 부분이 없을까요?
현재 사용하는 target은 aarch64이며 컴파일러는 gcc9.3입니다.

0 个评论
回答(1 个)
Angelo Yeo
2024-4-25
If you can use the polyspace-configure workflow, it will fully setup the Polyspace command-line automatically. It will not use a -target option but a -custom-target option, which should not be an issue.
For manual configuration you can refer to Generic target options which explains how to setup Polyspace for aarch64 with gcc.
1 个评论
Kilsu Kim
2024-4-25
Therefore, you have two alternatives: 1) Use the '-custom-target' option or 2) Use 'polyspace-configure'.
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!