The LDRA static analysis secure coding standards tools for CERT C, CERT C++, and CERT Java automate the security software development life cycle.

CERT C / CERT JAVA

The LDRA tool suite spans the entire software development life cycle, from requirements traceability and engineering through static and dynamic software analysis, to unit and integration testing. The accuracy, determinism, and formal reporting capabilities of the LDRA tool suite address the assurance requirements for the development of reliable, security-critical software.

See Which Tools Are Right For Me? for help choosing your customised tool suite.

CERT C / CERT C++/ CERT Java Secure Coding Standards Tools from LDRA
  • LDRA Testbed/TBvision is the core analysis engine of the LDRA tool suite. It performs the static analysis required for coding standards enforcement and lets you view the results against any supported industry coding standards—including CERT C, CERT C++, and CERT Java—to identify the common programming errors behind the majority of software security attacks
  • The LDRA TBsecure module graphically depicts security coding standards compliance and memory analysis, and automates compliance documentation
  • LDRArules is a cost-effective, stand-alone rules checker independent from the LDRA tool suite that is focused on increasing software quality through coding standards compliance, including CERT C / CERT C++ / CERT Java

LDRA is leading the way in helping critical embedded software developers create secure software, which forms the foundation for secure systems. Watch Dr. Mike Hennell, LDRA’s Technical Director, outline how developers can achieve safe and secure software

cert c aerospace