File Exchange

image thumbnail

Launch Polyspace from MATLAB

version 1.3.0.1 (454 KB) by

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

2 Downloads

Updated

View License

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.

Comments and Ratings (2)

Ram

Ram (view profile)

Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html

Christian Bard

Christian Bard (view profile)

Updates

1.3.0.1

Updated license

1.3

Upgrading for the MATLAB Toolbox File Format

1.2

Fixed a problem with the script launchPolyspaceVerificationFromFiles

1.1

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

MATLAB Release
MATLAB 8.2 (R2013b)

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

» Watch video