If you generate C or C++ code from models using Embedded Coder, you can check the generated code for run-time errors. Polyspace Code Prover proves code correctness, finds run-time errors,
Polyspace® Code Prover™ is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++
Choose your country to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a location from the following list:
See all countries