TrustInSoft Analyzer Adds Powerful New Software Verification Capabilities

Paris, France – October 8, 2024 – TrustInSoft, a leading provider of advanced software analysis tools, has announced the latest release of TrustInSoft Analyzer 2024.10 (TISA), which includes new and substantially updated features that streamline software testing workflows, significantly accelerating the testing process while ensuring compliance with strict industry safety and security standards.

Among several new features in the latest version of TISA is its improved GUI, which enables users to quickly create and configure projects.

The GUI also enables users to manage and track progress across multiple projects from a single interface and organize their analyses parameters more effectively. Easy access to project settings, analysis configurations, and results also make it easier for teams to collaborate and stay organized.

This version of TISA addresses the need for smarter, faster, and more automated verification tools with the inclusion of assisted analysis setup, which provides step-by-step, user-friendly guidance for configuring the analysis environment. This avoids common configuration errors by ensuring that every critical analysis and verification parameter is correctly set. This not only reduces the likelihood of errors during setup, but it also introduces additional functionality that further improves verification precision.

New drivers are automatically generated based on selected entry points and call conditions and users can easily view their lists in the tabular view of analysis, which simplifies the process and ensures comprehensive coverage of the code being analyzed.

Building on the foundation of the assisted analysis setup, an automated analysis tuning feature offers suggestions for fine-tuning analysis parameters based on project specifics, reducing the need for deep manual intervention.

Additionally, a dynamic parameter adjustment tool analyses project context and recommends changes that further enhance precision and performance; and an improved accuracy feature ensures that the analysis is specifically tailored to the needs of the project.

This release also delivers significant enhancements to the analysis of C++ programs. In testing, overall analysis time was reduced by 75 percent, further evidence of TISA’s ability to quickly and effectively process complex codebases.

“In today's fast-paced software development world, ensuring code reliability, security, and compliance is more critical than ever,” said Caroline Guillaume, CEO of TrustInSoft. “The rapid onset of software-defined services in many aspects of manufacturing, industry, and business demands software that is guaranteed to be error free. Using formal methods modelling techniques, this latest release of TISA ensures software safety, reliability and security like no other analyzer available today.”

To see these new features in action and learn how they can transform software verification processes, register for TrustInSoft’s Feature Overview Webinar on October 30, at https://www.trust-in-soft.com/resources/blogs/trustinsoft-analyzer-october-release-2024.

About TrustInSoft

TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C and C++ source code to ensure safety, security and reliability. Recognized by the US National Institute of Standards and Technology (NIST) for leveraging advanced formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analyzed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defense, consumer electronics, and IoT industries.