Polyspace Bug Finder
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.