TrustInSoft Analyzer to Showcase Ability to Emulate Billions of Tests at Embedded World 2024

Abstract interpretation-based static analysis, enabling users to measure the coverage of the emulation of billions of tests with a single analysis, to debut at Embedded World 2024

PARIS and SAN FRANCISCO—2 April 2024 — TrustInSoft, a pioneer in exhaustive C/C++ software code analysis, is excited to announce new capabilities in TrustInSoft Analyzer, set to be showcased at Embedded Word in Nuremberg, Germany, Hall 4, Stand 340 from April 9-11, 2024.

This latest update introduces input coverage metrics for abstract interpretation-based static analysis, enabling tracking of the level of input generalizations when emulating billions of tests. The breakthrough enhances input coverage tracking significantly, enabling developers to uncover and rectify gaps in code analysis and achieve unparalleled and accurate test coverage with ease. This feature represents a shift from traditional coverage metrics, focusing on depth and generalization and proportion of the input state space explored.

TrustInSoft Analyzer also now offers enhanced verification metrics, reporting and ease of use

capabilities.

Key updates include:

• Enhanced CERT-C Rule Reporting: This feature ensures compliance with the CERT-C Secure

Coding Standard, integral for safety and security in software development.

• Automotive Industry Focus: With AUTOSAR Classic integration, TrustInSoft Analyzer streamlines

automotive software analysis, promoting efficiency and reducing human error.

• Trend Metrics: Quantifying test progress is simplified thanks to key indicators trend visualization, which ensures that analyzed code remains free of critical bugs throughout the development

process.

Benjamin Monate, Founder & CTO, said, “We’re very excited about the new visualization capabilities that enable users to more easily monitor the evolution of key indicators such as the number of bugs found, typical structural coverage metrics, code change indicators, and input coverage metrics.”

TrustInSoft Analyzer continues to set the standard for industrial-scale sound code analysis, furthering its commitment to helping developers achieve zero-defect and secure C/C++ code.

Caroline Guillaume, TrustInSoft CEO, expressed her enthusiasm about the new capabilities, saying, “These advancements in TrustInSoft Analyzer not only enhance our ability to offer mathematical guarantees for zero-defect software but also align with industry standards, particularly for the automotive, IoT, and defense sectors.”

TrustInSoft is not your average static analyzer. TrustInSoft Analyzer leverages formal methods to provide mathematically proven guarantees about your software's safety and security and significantly reduce software testing efforts and costs. This unparalleled level of assurance enables our customers to significantly reduce the risk of costly security breaches, robustness bugs and standards testing issues.

###

About TrustInSoft:

TrustInSoft is at the forefront of the Application Security Testing market, offering solutions that provide

mathematical guarantees for code quality, security, and safety. For more information, visit

https://www.trust-in-soft.com.

Press contacts:

Ashley Dew

TrustInSoft

+1 (408) 829-5882