MATLAB: Warnings corresponding to ABS_ADDR appear in Polyspace Client for C/C++ R2013a and not in Polyspace Client for C/C++ R2010b

Polyspace Client for C/C++

I want to know the reason behind extra orange warnings appearing for ABS_ADDR (absolute addresses) during verification in Polyspace Client for C/C++ R2013a. Whereas the same never appears in Polyspace Client for C/C++ R2010b. I also want to know a way to avoid these warnings in Polyspace R2013a.

Best Answer

Polyspace supports a new check category, ABS_ADDR from release R2012a. The software generates an orange ABS_ADDR check when an absolute address is assigned to a pointer. The software has no information about the absolute address and therefore cannot verify, for example, the address, availability of memory, and initialization of memory.
 
After generating the orange ABS_ADDR check for the first assignment operation, the software permits memory access to the absolute address. This new behavior produces fewer orange checks in code that contains absolute addresses. After the first assignment operation, IDP and NIV checks for memory access operations are now green. Previously these checks were orange.
 
Compatibility Considerations with previous versions: Because of this new check, verification results might change when compared to previous versions of the software. The total number of checks might change as the software now generates an ABS_ADDR check for each conversion of an integer to a pointer.
 
If you previously created a comment for an orange IDP or NIV check (for example, to explain the check), the comment continues to appear although the check may now be green. In addition, the new ABS_ADDR check does not have a comment. In Polyspace Metrics, information about justifications for the previously orange IDP or NIV checks is lost. 
 
For more information please refer to the below link and search for "Absolute Addresses":
 
http://www.mathworks.com/help/releases/R2012a/toolbox/polyspace/rn/btacjez.html
 
As a workaround, you can find a new option "-green-absolute-address-checks". If you know that the absolute addresses in your code are valid, you can specify this option which makes all ABS_ADDR checks green.
Related Question