polyspace Compiler 및 target data type 설정 문의
조회 수: 2 (최근 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입니다.
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/1676911/image.png)
댓글 수: 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'.
참고 항목
카테고리
Help Center 및 File Exchange에서 Run Settings에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!