TrustInSoft Analyzer to showcase ability to emulate billions of tests at Embedded World 2024.
PARIS and SAN FRANCISCO — 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.
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
Natasha Henderson
Napier Partnership Ltd.
natasha@napierb2b.com
+44 (0) 1243 531123
Hire Heroes USA: Channeling Veteran Skills to Power U.S. Manufacturing
Tune in for a timely conversation with Susan Spence, MBA, the new Chair of the ISM Manufacturing Business Survey Committee. With decades of global sourcing leadership—from United Technologies to managing $25B in procurement at FedEx—Susan shares insights on the key trends shaping global supply chains and what they mean for the manufacturing outlook.
Get In Touch
Google news and SEO compliant, Industry Today’s state-of-the-art digital media platform offers bespoke media campaigns that target key decision makers and buyers to achieve your marketing and promotional goals.
Contribute
Showcase your brand and promote your business to our highly targeted audience. We offer detailed Google Analytics with measurable ROI to assure success. Submit your content for review by our Editorial team who will contact you to discuss the project further.
About Us
Reach Your Targeted Audience and Grow Your Business. Learn more About Industry Today.
Contact Us
© 2025 Industry today. All Rights reserved.
