Code Prover Analysis in MATLAB Coder

Verify code generated from MATLAB^® code

After you generate C/C++ code from MATLAB code in the MATLAB Coder™ app or by using codegen, you can configure Polyspace^® Code Prover™ to check the generated code for run-time errors.

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

Topics

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.

Related Information

Complete List of Polyspace Code Prover Analysis Options