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":
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.
Best Answer