What do the different colors in the PolySpace Source Code View, RTE View and Variable View windows mean?

25 views (last 30 days)
I would like to get information about the color coding scheme used by PolySpace in the Source Code View, RTE View and Variable View windows.

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 23 May 2022
Edited: MathWorks Support Team on 23 May 2022
See more description of colors used in Polyspace Code Prover in the documentation: Code Prover Result and Source Code Colors.
Each operation checked is displayed using a meaningful color scheme in the Source Code View. Related diagnostic information is available after clicking on the respective links:
- Red: A link to the error message associated to the error which occurs at every execution.
- Orange: A link to an unproven message - an error may occur sometimes.
- Grey: A link to a check shown as unreachable code. The error message is in grey.
- Green: A link to a VOA (Value on Assignment) or an error condition that will never occur.
Other Source Code View related color schemes are given by:
- Black: Represents some comments, source code that does not contain any operation to be checked by PolySpace verification in terms of run time errors and optimized operations, e.g. x := 0;.
- Blue: Text highlighting the keyword “procedure” and “function”.
- Blue Underlined (cyan / light blue / turquoise): A link to a global variable in the “Global variable View”.
Color schemes in the RTE View panel (Procedural entities) are given by:
- Black with grey background: Functions / procedures that, according to the information available to PolySpace, will never be called.
- Black without a background: Functions / procedures that are called, but do not contain any checks. It is also possible that the checks have been filtered.
- Grey: Functions / procedures that are called but contain unreachable code.
Color schemes in the Variables View window are given by:
- Black: Not shared variable.
- Orange: Shared variable but not protected.
- Green: Protected shared variable.

More Answers (1)

Anirban
Anirban on 10 Sep 2020
See more description of colors used in Polyspace Code Prover in the documentation: Code Prover Result and Source Code Colors.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!