Clang Static Analyzer vs LDRA Tool Suite

Clang Static Analyzer finds selected bugs in C, C++, and Objective-C programs. It uses symbolic execution to examine paths through code across function calls, and is part of the open-source Clang project. The analyzer is also implemented as a reusable C++ library for other tools and applications. Official releases include scan-build, a command-line tool for analyzing a codebase. On macOS, users can invoke it from Xcode; it can also run alongside clang-tidy when clang-analyzer checks are enabled. Clang-based IDEs may integrate the analyzer directly, and the documentation covers scan-build and CodeChecker. It runs on Linux, macOS, and Windows, and is self-hosted. The tool only detects bugs it has been designed to find, and analysis can take much longer than compilation. Some algorithms have exponential worst-case time, and results may include false positives. The listed free plan costs nothing.

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.