PolySpace For Editors

A tool to integrate PolySpace into your favorite editor

Version 1.6.0.1 (389 KB)
886 Downloads
(0)
1 Sep 2016

You are now following this Submission

Learn how to launch PolySpace(R) from your editor : call the interfaces (Launcher, Viewer, Spooler), use the back link feature of your editor for an easy fixing.
We present the integration with two editors : Notepad++ and UltraEdit32.
The zip archive contains the documentation, a set of scripts and configuration files.

This integration is presented for C files only and under Windows, for the moment.

Cite As

Alexandre De Barros (2026). PolySpace For Editors (https://www.mathworks.com/matlabcentral/fileexchange/21087-polyspace-for-editors), MATLAB Central File Exchange. Retrieved .

Categories

Find more on Polyspace Code Prover in Help Center and MATLAB Answers

General Information

MATLAB Release Compatibility

  • Compatible with any release

Platform Compatibility

  • Windows
  • macOS
  • Linux
Open in new tab
Version Published Release Notes
1.6.0.1

Updated license
1.6.0.0

Scripts and documentation updated for compatibility with 10b
1.5.0.0

Added trademarks and copyrights in the documents.
Documentation converted to pdf.
Replaced the use of WFile by a new executable (FileChoose) to be BSD license compliant.
1.2.0.0

An equivalent to the proprietary executable WFile has been created to be BSD licensing compliant.
The documentation has been updated.
1.1.0.0

Fixed a problem in the scripts when the home folder, or profile folder, contains a space character.
1.0.0.0