Bug Finder 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.DefectsOptions | Create custom list of defects to check |
polyspace.CodingRulesOptions | Create custom list of coding rules to check |
polyspace.BugFinderResults | Read Polyspace Bug Finder 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 |
polyspaceBugFinder | Run Polyspace Bug Finder analysis 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 Bug Finder 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.
