New GUI Functionality Enables Complete Visual Code Analysis Workflows; REST API Introduced for Workflow Automation.

 

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.