Software Testing Tools Guide
Description
CPAchecker is a tool for configurable software verification. Our implementation is guided by the concepts described in the CAV’07 paper “Configurable Software Verification” and in the ASE’08 paper “Program Analysis with Dynamic Precision Adjustment”.
Details
- Listing categories Static analysis
- Licence Open Source
- Status Active
- Supported Technology C/C++
- User Interface Command line
Contact
- Website http://cpachecker.sosy-lab.org
Post New Review
You must be logged in to post a comment.