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! 4 Downloads (last 30 days) File Size: 70.1 KB File ID: #16638 Version:

Post Preprocessing Templates


Christian Bard (view profile)


28 Sep 2007 (Updated )

post preprocessing scripts

| Watch this File

File Information

Templates of a Perl script that could be used with -post-preprocessing-command option. Three scripts have been provided:
1. is a template script acting on the pre-processed file with the -post-preprocessing-command option
2 is an example of Perl script program constructed with allowing to remove code between two #pragma.
3 is a script which adds "void" in empty prototype of functions.

Required Products Polyspace Client for C/C++
Polyspace Model Link SL
Polyspace Model Link TL
Polyspace Code Prover
Polyspace UML Link RH
MATLAB release MATLAB 7.9 (R2009b)
Other requirements Note that this tool needs a PolySpace product until release r2008a.
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
08 Sep 2009 1.1

Added copyrights and a .bat file template to facilitate usage under a Windows OS.

01 Sep 2016

Updated license

Contact us