Polyspace Code Prover 에서 전처리 된 코드를 제외하는 옵션

Question

MathWorks Support Team 2020-9-16

编辑： MathWorks Support Team 2020-9-16

Polyspace 로 C 코드 분석시 전처리 메크로로 컴파일 제외된 코드도 분석이 진행되며 분석결과로 카운팅 되는데요. 전처리 된 코드를 제외하는 옵션이 있는지 문의 드립니다.

Answer 1

编辑：MathWorks Support Team 2020-9-16

폴리스페이스는 전처리된 코드를 아래와 같이 사용하지 않습니다. Gray 색으로 표시되지만, Gray 색의 밝고(제외된)/어두운(실제 Gray 결과) 색상의 차이가 있습니다.

다음은 두 종류의 회색을 표시하는 예제 코드입니다. 코드가 처리되지 않은 경우 밝은 회색이고 코드가 처리되었지만 Unreachable인 경우에는 어두운 회색입니다.

int f(void) {

int x=0;

#ifdef DEF

x++; // not processed (light grey)

#endif

if (0 == 1)

x++; // processed and unreachable because the if condition is always false

return x;

}

Polyspace Code Prover에서 사용되는 색상에 대하여 보다 자세한 설명은 아래의 매뉴얼 링크에서 확인하실 수 있습니다.

- Code Prover Result and Source Code Colors