Astrée vs LDRA Tool Suite
Astrée
absint.com
LDRA Tool Suite
ldra.comSide by side
| Figure | Astrée | LDRA Tool Suite |
|---|---|---|
| Price from | — | — |
| Free plan | — | — |
| Free trial | — | Yes |
| Open source | — | — |
| Windows | Yes | Yes |
| macOS | — | Yes |
| Linux | Yes | Yes |
| Self-hosted | — | Yes |
| Plans published | 0 | 1 |
| Spec score · C and C++ Static Analysis Tools | 7.8 (#11) | 7.7 (#12) |
| Founded | 1998 | 1975 |
| Headquarters | Saarbrücken, Germany | United Kingdom, United States, Germany, and India |
| Integrations | The maker describes CI/CD and DevOps integration, automatic AUTOSAR integration analysis from ARXML files, and a TargetLink coupling; release notes also mention an Astrée Jenkins plugin. | LDRA lists integrations with requirements and lifecycle tools including Atlassian Jira and IBM Engineering Requirements Management DOORS. |
| Purpose | Astrée is a sound static analyzer designed to prove the absence of runtime errors and data races in C/C++ programs. | An integrated suite for verification, testing, and requirements traceability in safety-, security-, and mission-critical software development. |
| Support | The maker's factsheet invites users to speak with a product specialist by phone and lists [email protected] as a contact email. | LDRA lists support contact channels by email and phone for EMEA, the USA, and India. |
Plans
In their own words
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.