Quantcast

Polyspace Code Prover

Key Features

  • Proven absence of certain run-time errors in C and C++ code
  • Color-coding of run-time errors directly in code
  • Calculation of range information for variables and function return values
  • Identification of variables that exceed specified range limits
  • Quality metrics for tracking conformance with software quality objectives
  • Web-based dashboard providing code metrics and quality status
  • Guided review-checking process for classifying results and run-time error status
  • Graphical display of variable reads and writes
Run-time error results displayed by Polyspace Code Prover.
Run-time error results displayed by Polyspace Code Prover.
Next: Verifying C and C++ Embedded Software

Try Polyspace Code Prover

Get trial software

Comprehensive Static Analysis Using Polyspace Products

View webinar

Learn to Find, Analyze, and Fix Run-Time Errors in Your Code

Explore how