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.
Learn more about Polyspace static code analysis here: http://www.mathworks.com/discovery/static-code-analysis.html
Upgrading for the MATLAB Toolbox File Format
Fixed a problem with the script launchPolyspaceVerificationFromFiles
Fixed missing copyrights, user's guide is in pdf now, some enhancements in the scripts.