Menu
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:
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.
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.
Click here to book an exclusive demo of TrustInSoft Analyzer at Embedded World 2024, Booth 340 in Hall 4.
Want to know more about TrustInSoft Analyzer? Click here to contact one of our experts.
Ashley Dew
TrustInSoft
+1 (408) 829-5882
