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:
- cli
https://cpachecker.sosy-lab.org/download.php
Apache 2.0 License
Maintained