Code Prover Analysis with MATLAB Scripts
If you use MATLAB as a scripting language, you can run Polyspace® from MATLAB. To begin, perform a one-time setup to link Polyspace and MATLAB. See Integrate Polyspace with MATLAB and Simulink.
After the setup, you can run all Polyspace functions from MATLAB. In particular, you can setup a polyspace.Project object to run a Polyspace analysis and read the results into a MATLAB table.
Classes
polyspace.Project | Run Polyspace analysis on C and C++ code and read results |
polyspace.GenericTargetOptions | Create a generic target configuration |
polyspace.CodingRulesOptions | Create custom list of coding rules to check |
polyspace.CodeProverResults | Read Polyspace Code Prover results from MATLAB |
Properties
| polyspace.Project.Configuration Properties | Customize Polyspace analysis of handwritten code with options object properties |
Functions
polyspacesetup | Integrate Polyspace installation with Simulink |
polyspaceroot | Get Polyspace installation folder |
polyspaceCodeProver | Run Polyspace Code Prover verification from MATLAB |
polyspaceConfigure | Create Polyspace project from your build system at the MATLAB command line |
polyspace_report | Generate reports from Polyspace analysis results |
Topics
- Integrate Polyspace with MATLAB and Simulink
Integrate Polyspace with MATLAB and Simulink® to identify potential bugs, run-time errors, and coding standard violations in your model and code.
- Get Started with Polyspace Analysis by Using MATLAB
Tutorial showing how to analyze handwritten C/C++ codes by using Polyspace from the MATLAB Command Window.
- Run Polyspace Analysis by Using MATLAB Scripts
Check C/C++ code with Bug Finder or Code Prover using M-files, run analysis locally on desktop or remote server.
- Generate MATLAB Scripts from Polyspace User Interface
Create MATLAB program files for automated runs from a project configured in the Polyspace user interface.
- Visualize Code Prover Analysis Results in MATLAB
Generate graphs from Polyspace analysis results.
- Troubleshoot Polyspace Analysis from MATLAB
Read analysis log for errors and work around the errors.
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)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)