I was able to run a PolySpace analysis of my C code successfully. Upon looking at the results, I see some black and some blue color markings in my code. The manual does not explain what these markings mean.
MATLAB: What do the black and blue color markings in the PolySpace results represent
Polyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover Server
Related Question
- What do the different colors in the PolySpace Source Code View, RTE View and Variable View windows mean
- Do I get an error message “unable to locate executable” when I install Polyspace
- What does the number in a color-coded check refer to in Polyspace Client for C/C++ (R2008a)
- Is PolySpace supported on Linux
- Is the function call marked as red NTC when there is no red check in the function body
- Are the radio buttons for selecting languages for PolySpace grayed out
- Do I face an error “Installation of Microsoft Visual C++ 2005 Redistributable has failed” installing Polyspace (R2012b)
- How to import comments from previous review report in Polyspace Client for C/C++ 6.0 (R2008b)
Best Answer