이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

정수 오버플로 감지

검사 ID: mathworks.sldv.integeroverflow

모델에서 정수 또는 고정 소수점 데이터 오버플로 오류를 감지합니다.

설명

이 검사는 정수 또는 고정 소수점 연산의 데이터 유형 범위를 초과하는 연산을 식별합니다.

이 검사의 권장 사항을 따르면 임베디드 애플리케이션에 대한 MISRA C:2012 호환 코드는 물론 CERT C, CWE, ISO/IEC TS 17961 표준을 준수하는 코드를 생성할 가능성이 높아집니다.

결과 및 권장 조치

결과	권장 조치
실패, 모델이 호환되지 않음	모델 비호환성을 해결합니다. 참조: Supported and Unsupported Simulink Blocks in Simulink Design Verifier (Simulink Design Verifier) Support Limitations for Model Blocks (Simulink Design Verifier) Support Limitations for Simulink Software Features (Simulink Design Verifier) Support Limitations for Stateflow Software Features (Simulink Design Verifier) Support Limitations for MATLAB for Code Generation (Simulink Design Verifier) Handle Incompatibilities with Automatic Stubbing (Simulink Design Verifier)도 참조하세요.
모델에서 정수 오버플로가 발견되었습니다.	정수 오버플로를 일으키는 조건을 보려면 하네스 모델을 생성하십시오. 하네스를 시뮬레이션하면 입력이 오류를 복제합니다. Model Advisor 보고서에서 View test case를 클릭합니다.

참조:

• 미스라 C:2012: 지침 4.1

• ISO/IEC TS 17961: 2013년 유입

• CERT C, INT30-C 및 INT32-C

• CWE, CWE-190

• Secure Coding (Embedded Coder)

• Detect and Address Bugs (Simulink Design Verifier)

• Detect Integer Overflow and Division-by-Zero Errors (Simulink Design Verifier)