Main Content

Detect Out Of Bound Array Access

Check ID: mathworks.sldv.arraybounds

Detects operations that access outside the bounds of an array index

Description

This check detects instances of out of bound array access in Simulink Design Verifier.

Following the recommendations of this check increases the likelihood of generating MISRA C:2012 compliant code for embedded applications, as well as code that complies with the CERT C, CWE, ISO/IEC TS 17961 standards.

Results and Recommended Actions

ResultRecommended Action
Failed, model incompatible

Resolve the model incompatibility. See

Also see Handle Incompatibilities with Automatic Stubbing (Simulink Design Verifier).

Out of bound array access found in model

To view the conditions that cause the out of bound array access, create a harness model. When you simulate the harness, the inputs replicate the error. Click View test case in the Model Advisor report.

See Also