Analysis tools logo
0

CPAchecker

A tool for configurable software verification of C programs. The name CPAchecker was chosen to reflect that the tool is based on the CPA concepts and is used for checking software programs.

Workflow integration:
  • Type: cli
    cli

Official CPAchecker Homepage

https://cpachecker.sosy-lab.org/download.php

Apache 2.0 License

Maintained

Alternative Tools

  • 3Unibeautify
  • 1Understand
  • 1Veracode
  • 0vera++
  • -1XCode