LDRA verifies little bits of safety- and security-critical apps

SAN JOSE, USA: LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, has yet again taken a leadership role in providing verification for highly constrained applications.

By optimizing its analysis and testing technology, LDRA has enhanced the ability of the LDRA tool suite to scale down to meet the increasing number of highly constrained, minimal-footprint architectures used in today's safety-critical and security-critical applications.

With many systems now being connected, companies must enforce high-quality code, fully test and verify systems, and proactively prevent application vulnerabilities.

Achieving indepth analysis on a highly constrained microcontroller is not easy. Verification tools often exceed the bandwidth and memory resources of such microcontrollers, causing the analysis to crash or overload the system such that the target no longer functions as intended and system data becomes unreliable.

In contrast, LDRA has fine-tuned its instrumentation and analysis to low-power, highly constrained architectures to ensure that development teams can fully analyze and verify such systems to even the most rigorous levels demanded for safety-critical and security-critical certification.

Using optimized technology, LDRA captures data from highly constrained target systems and sends it back to the host to help companies achieve coding standards compliance, safety standards compliance, and security standards compliance.

This level of granular analysis is available not only on LDRA's stand-alone products, LDRAunit and LDRAcover, but also on the comprehensive LDRA tool suite, helping to ensure that companies gain complete traceability over the entire life cycle of their application from requirements through verification and deployment.