View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Highlights from
Launch Polyspace from MATLAB

5.0 | 1 rating Rate this file 5 Downloads (last 30 days) File Size: 454 KB File ID: #44919 Version:
image thumbnail

Launch Polyspace from MATLAB



21 Jan 2014 (Updated )

A set of scripts to call Polyspace Bug Finder and Code Prover from MATLAB

| Watch this File

File Information

A set of scripts that shows how it is possible to use Polyspace Bug Finder and Polyspace Code Prover within MATLAB, thus extending the possibilities of the Polyspace products.
For example, a script is used to read an excel file and create a Data Range Specification (DRS) from it.

Required Products Polyspace Code Prover
Polyspace Bug Finder
MATLAB release MATLAB 8.2 (R2013b)
MATLAB Search Path
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (2)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here:

Comment only
22 Jul 2014 Christian Bard

Christian Bard (view profile)

21 Jan 2014 1.1

Fixed missing copyrights, user's guide is in pdf now, some enhancements in the scripts.

24 Mar 2014 1.2

Fixed a problem with the script launchPolyspaceVerificationFromFiles

03 Nov 2014 1.3

Upgrading for the MATLAB Toolbox File Format

01 Sep 2016

Updated license

Contact us