TrustInSoft announces release of TrustInSoft Analyzer

“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
• Customisable campaign parameters directly in the interface
• Generation of flexible analysis drivers
• Visual inspection of both individual and aggregated results
• Built-in code coverage reporting

Additionally, 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.