Bug Finder Analysis in MATLAB Coder

R2026b

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 Polyspace analysis of generated code or custom code in Simulink model
`pslinkrun`	Run Polyspace analysis on model, system, or S-Function

polyspace.ModelLinkOptions Create a project configuration object for running Polyspace analysis on generated code

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 for Code Generated Using MATLAB Coder
Configure advanced Polyspace analysis options such as code metric calculations or compiler options.
Check Coding Rule Compliance of Code Generated from MATLAB Code
Use Polyspace Bug Finder™ to check generated C/C++ code for violations of coding standards such as MISRA C™:2023, CERT® C, and others.
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.