View License

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

» Watch video

Be the first to rate this file! 2 Downloads (last 30 days) File Size: 133 KB File ID: #21943 Version: 1.6

Generate Checks Report



30 Oct 2008 (Updated )

This tool generates Checks report(XML & CSV format) from C and C++ PolySpace® Results.

| Watch this File

File Information

Tool is designed to get report about checks of PolySpace Results. It extracts information from PolySpace-Doc/RTE_View.txt file, located in each PolySpace result.
and generates 2 files formats (CSV and XML) adding source code line and expanded source code for each check.
It works for one or several PolySpace results.

It is recommended to read carefully the associated documentation in the "Doc" sub-folder.

Required Products Polyspace Client for C/C++
Polyspace Code Prover
MATLAB release MATLAB 7.7 (R2008b)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
28 Sep 2016 Ram

Learn more about Polyspace static code analysis here:

Comment only
25 Feb 2009 1.2

Change Requirements

26 Mar 2009 1.4

Change of Products Required

27 Oct 2010 1.6

Works also with R2010b

Contact us