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

범위를 벗어난 어레이 액세스 감지

검사 ID: mathworks.sldv.arraybounds

배열 인덱스 범위 외부에 액세스하는 작업을 감지합니다.

설명

이 검사는 Simulink Design Verifier에서 범위를 벗어난 배열 액세스 인스턴스를 감지합니다.

이 검사의 권장 사항을 따르면 임베디드 애플리케이션에 대한 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: 규칙 18.1

• ISO/IEC TS 17961: 2013년, 인vptr

• CERT C, ARR30-C

• CWE, CWE-118

• Secure Coding (Embedded Coder)

• Detect and Address Bugs (Simulink Design Verifier)

• Detect Out of Bound Array Access Errors (Simulink Design Verifier)