TrustInSoft, a provider of mathematically proven software verification solutions, has unveiled the April 2025 release of its TrustInSoft Analyzer (TISA), which features a redesigned TISA project manager GUI and new REST API for software development tool integration.
New capabilities of the updated TISA Project Manager GUI include guided workflows, customizable campaign parameters directly in the interface, flexible analysis drivers, visual inspection of both individual and aggregated results and built-in code coverage reporting.
The REST API enables teams to automate retrieval of analysis results and integrate the TrustInSoft Analyzer with IDEs. The API supports statement mappings, alarm locations, evaluation data and code coverage metrics in structured JSON format.
“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.”
In related news, Marple recently developed the Marple Insight tool, which provides time-series engineering data to users over the cloud for visualizing, calculating and extracting insights. Click here to read the full story.