which parts of the code are faulty or proven to be reliable. Other parts of the code are marked for unproven checks and deserve individual review.

Code standards or guidelines such as MISRA C attempt to address code quality, portability, and reliability. The product checks C and C++ source code for conformance to a subset of rules in these coding standards.

Capabilities

The product family consists of Polyspace Code Prover and Polyspace Bug Finder. The Code Prover module annotates source

1.Previous
3.Next