Bug Finder Analysis in MATLAB Coder

Check C/C++ code generated from MATLAB^® code for defects

Run a Polyspace^® analysis on C/C++ code that you generate from MATLAB code by using MATLAB Coder™.

Functions

`pslinkoptions`	Create an options object to customize configuration of a Simulink model, generated code or a S-Function block. Use the object to specify configuration options for these Simulink objects in a Polyspace run from the MATLAB command line
`pslinkrun`	Run Polyspace analysis on model, system, or S-Function

Run Polyspace on C/C++ Code Generated from MATLAB Code
Run Polyspace on generated code and check for run-time errors.
Configure Advanced Polyspace Options in MATLAB Coder App
Configure advanced Polyspace analysis options such as code metric calculations or compiler options.
Polyspace Bug Finder Defects Checkers Enabled by Default for Generated Code
Look up list of Bug Finder checkers that are enabled by default when analyzing generated code.

New

Generate MISRA compliant code and verify using static analysis.