Polyspace Client for C/C++
Product Description
- Introduction and Key Features
- Working with Polyspace Client for C/C++
- Detect Run-Time Errors
- Enforce Coding Standards
- Prove the Absence of Certain Run-Time Errors and Track the Progress of Your Software Quality Objectives
- Create Artifacts for Certification
- Integrate Code Verification as Part of a Continuous Verification Process
Detect Run-Time Errors
Polyspace Client for C/C++ uses color-coding to indicate the status of each element in the code, as follows:
Green: proven free of run-time errors
Red: proven faulty each time the operation is executed
Gray: proven unreachable (may indicate a functional issue)
Orange: unproven
Errors detected include:
- Overflows, underflows, divide-by-zero, and other arithmetic errors
- Out-of-bounds array access and illegally dereferenced pointers
- Always true/false statement due to dataflow propagation
- Read access to noninitialized data
- Dead code
- Access to null
thispointer (C++) - Dynamic errors related to object programming, inheritance, and exception handling (C++)
- Noninitialized class members (C++)
- Dangerous type conversions
Next
Register to view now