polyspace Compiler 및 target data type 설정 문의

Question

유근 2024-4-23

评论： Kilsu Kim 2024-4-25

안녕하세요?

Polyspace bugfinder에서 정적분석진행중입니다.

현재 사용하는 target compiler에서 long type의 경우 64bit를 사용하는 것으로 확인했는데, polyspace에서는 long type을 64bit로 설정하는 부분이 없네요

(Target custom하는 부분)

추가로 x86_64의 경우가 유일하게 long type이 64bit로 설정가능하며, 제가 사용하는 컴파일러 데이터 타입과 동일한데 x86_64를 사용해도 문제되는 부분이 없을까요?

현재 사용하는 target은 aarch64이며 컴파일러는 gcc9.3입니다.

Answer 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.

Kilsu Kim 2024-4-25

To clarify, the 'Generic target options' currently do not support the '-long-is-64bits' option.

Therefore, you have two alternatives: 1) Use the '-custom-target' option or 2) Use 'polyspace-configure'.