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 Polyspace analysis of generated code or custom code in Simulink model |
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 for Code Generated Using MATLAB Coder
Configure advanced Polyspace analysis options such as code metric calculations or compiler options.
Related Information
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: United States.
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)