TrustInSoft Announces April 2025 Release of TrustInSoft Analyzer with Major Usability Enhancements

Paris, France – April 29, 2025 – TrustInSoft, a leading provider of mathematically proven software verification solutions, today announced the latest release of its flagship product, TrustInSoft Analyzer (TISA), featuring major enhancements to the TISA Project Manager GUI and the introduction of a new REST API for software development tool integration.

“We’ve listened to our customers—especially those working on safety- and security-critical code—and this release addresses the most requested capability: a full visual workflow that matches the power of our command-line tools,” said Caroline Guillaume, CEO of TrustInSoft. “Whether you're an embedded systems developer or security analyst, the April release removes friction and increases confidence in every analysis cycle.”

Highlights of the April 2025 Release:

• Redesigned TISA Project Manager GUI
  Users can now create and manage TrustInSoft analysis projects entirely from the GUI. New capabilities include: Guided workflows for setting up projects and individual analyses Customizable campaign parameters directly in the interface Generation of flexible analysis drivers Visual inspection of both individual and aggregated results Built-in code coverage reporting
• REST API for Automation and Integration
  The new REST API allows teams to automate retrieval of analysis results and integrate TrustInSoft Analyzer with IDEs. The API supports statement mappings, alarm locations, evaluation data, and code coverage metrics in structured JSON format.

This release reinforces TrustInSoft’s mission to deliver mathematically guaranteed software safety and reliability with minimal operational overhead.

Availability

The April 2025 release of TrustInSoft Analyzer is available today. Existing customers can access the update via the customer portal.

To learn more or schedule a demo, visit www.trust-in-soft.com.

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 analysed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defence, consumer electronics, and IoT industries.

Media Contacts

USA

Gavin Hill at gavin.hill@trust-in-soft.com

EMEA

Natasha Le Marquand at natasha@napierb2b.com

Phone: +44 (0)1243 531123