TrustInSoft Analyser showcases ability to emulate billions of tests

This latest update introduces input coverage metrics for abstract interpretation-based static analysis, enabling tracking of the level of input generalisations 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 generalisation and proportion of the input state space explored.

TrustInSoft Analyser 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 Analyser streamlines automotive software analysis, promoting efficiency and reducing human error.
• Trend metrics: quantifying test progress is simplified thanks to key indicators trend visualisation, which ensures that analysed code remains free of critical bugs throughout the development process.

Benjamin Monate, Founder & CTO, said: “We’re very excited about the new visualisation 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 Analyser 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 Analyser 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 defence sectors.”

TrustInSoft is not your average static analyser. TrustInSoft Analyser 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.