Code covered by the BSD License  

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

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.
25 Feb 2009

Change Requirements

26 Mar 2009

Change of Products Required

27 Oct 2010

Works also with R2010b

Contact us