CPAchecker vs LDRA Tool Suite
CPAchecker
cpachecker.sosy-lab.org
LDRA Tool Suite
ldra.comSide by side
| Figure | CPAchecker | LDRA Tool Suite |
|---|---|---|
| Price from | Free | — |
| Free plan | Yes | — |
| Free trial | — | Yes |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Self-hosted | Yes | Yes |
| Plans published | 1 | 1 |
| Spec score · C and C++ Static Analysis Tools | 8.0 (#10) | 7.7 (#12) |
| Headquarters | Munich, Germany | United Kingdom, United States, Germany, and India |
| Purpose | CPAchecker is a tool for configurable software verification based on configurable program analysis concepts. | An integrated suite for verification, testing, and requirements traceability in safety-, security-, and mission-critical software development. |
| Support | The project directs installation questions, bug reports, and suggestions to its CPAchecker users mailing list, and also provides an issue tracker. | LDRA lists support contact channels by email and phone for EMEA, the USA, and India. |
Plans
In their own words
CPAchecker
CPAchecker is a configurable software verification tool based on configurable program analysis concepts. It accepts C and SV-LIB inputs, lists predicate analysis for SV-LIB programs, and supports invariants, counterexamples, and proof artifacts. It can also validate termination witnesses in YAML formats 2.1 and 1.0. The project lists a hybrid verification method and provides a self-hosted deployment. CPAchecker is free software under the Apache 2.0 License. Version 4.2.2, released in December 2025, is available as Unix and Windows ZIP archives; Debian and Ubuntu users can install it from the SoSy-Lab APT repository, and a Docker image is available. Java 21 or later is required as of version 4.2. An older version, 1.6.1, can be accessed through a web interface, where some functions are unavailable in the restricted environment. Documentation includes installation instructions, tutorials, and getting-started guidance. Installation questions, bug reports, and suggestions can go to the users mailing list or issue tracker. The project is based in Munich, Germany.
LDRA Tool Suite
LDRA Tool Suite combines verification, testing, and requirements traceability for safety-, security-, and mission-critical software development. Its core capabilities include static and dynamic analysis, coding standards checks, unit, integration, and system testing, plus compliance reporting. The main components are TBvision, TBrun, TBmanager, and LDRA Testbed. TBmanager links requirements and design artifacts with source code, test cases, and verification results to maintain audit trails. Structural coverage analysis includes statement, branch, and MC/DC metrics at unit, integration, and system levels. LDRA lists support for standards including DO-178C, ISO 26262, IEC 61508, IEC 62304, and EN 50716, as well as integrations with Atlassian Jira, IBM Engineering Requirements Management DOORS, Jenkins, Bamboo, and GitLab. Listed languages include C, C++, Java, Ada95, and Assemblers. The suite is self-hosted on listed Windows, Linux, and Mac hosts. Pricing is on request. LDRA offers a 30-day free trial through a registration page that requests company and contact information.