26 Apr 2013
Polyspace static code analysis tool can detect and prove the absence of run-time errors in source code. Reports generated from Polyspace products can be used in a code review process to identify which parts of the code are proven to be reliable and which aspects are at risk for failure. Polyspace products also statically determine variable ranges, and produce function call graphs and data dictionaries to show how and where variables are written to and read from. This information can be invaluable in a code review where it is important to precisely explain the data and control flow of the software.