Generate Checks Report
Version 1.6.0.0 (133 KB) by
David Jaffry
This tool generates Checks report(XML & CSV format) from C and C++ PolySpace® Results.
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.
Cite As
David Jaffry (2026). Generate Checks Report (https://nl.mathworks.com/matlabcentral/fileexchange/21943-generate-checks-report), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Created with
R2008b
Compatible with any release
Platform Compatibility
Windows macOS LinuxCategories
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
- Reporting and Database Access > MATLAB Report Generator >
Find more on Polyspace Code Prover in Help Center and MATLAB Answers
Tags
Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
