Infer vs LDRA Tool Suite

Infer is a static analysis tool that examines compiled Java, C, C++, Objective-C, and Erlang code and reports potential bugs before release. Its checks include null pointer problems, resource or memory leaks, coding conventions, unavailable APIs, and concurrency issues such as data races. Some analyses can follow an issue across multiple functions or methods and files. Pulse provides memory-safety analysis, while RacerD checks thread safety. Cost analysis estimates asymptotic function complexity for Java and C-family languages; Hack support is experimental, and Python, Rust, and Swift are not supported by that analysis. Infer captures compilation commands, analyzes the captured files, and writes reports that can be reviewed with `infer explore`; files that are not compiled are not analyzed. Integrations are documented for build tools including Buck, CMake, Gradle, Make, Maven, Xcodebuild, and xctool. It can be installed from binary releases, built from source, or run in Docker. The free plan costs nothing. Infer runs on Linux and macOS, with web and self-hosted options; Windows is not supported.

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.