Polyspace Bug Finder

Tracing Code Analysis Results to Simulink Models

You can use Polyspace Bug Finder to analyze generated code or mixed code, which contains both generated and handwritten code. Code-level defect results in the automatically generated code are traced back to the model in Simulink. You can identify which parts of the model are reliable and correct design problems that cause errors in the code. You can also identify potential problems between the interface of generated and handwritten code. For example, the mixing of handwritten S-Function code with generated code could result in a problem where incorrect ranges of signals in the interface cause a run-time error.

Polyspace Bug Finder also supports tracing results to dSPACE TargetLink blocks and IBM Rational Rhapsody models.

Tracing MISRA violations to the Simulink model.
Tracing MISRA violations to the Simulink model.
Next: Creating Certification Artifacts

Try Polyspace Bug Finder

Get trial software

Comprehensive Static Analysis Using Polyspace Products

View webinar

Learn to Find, Analyze, and Fix Run-Time Errors in Your Code

Explore how