TrustInSoft adds AI test generation, expands Rust verification support

TrustInSoft has pushed its Rust story beyond language support and into the verification workflow itself. Its April 2026 release of TrustInSoft Analyzer added AI-powered stub and driver generation, expanded Rust analysis, and enhanced MC/DC coverage analysis, with the company saying the goal is to cut manual setup while keeping determinism, measurability, and compliance intact.

That matters because the new release does not treat AI as a shortcut around proof. TrustInSoft said the generated drivers are built for C, C++, and Rust, then validated by engineers and stored as traceable verification artifacts. In other words, the AI is there to speed up the plumbing, not to replace the evidence that safety-critical teams need when code has to stand up to certification review.

Rust users now get a more complete path inside the GUI, from project setup to root-cause investigation and reporting. That is a notable shift for teams in IoT, automotive, aeronautics, and defense, where coverage metrics and verification records are often as important as memory safety itself. TrustInSoft’s pitch is that engineers can stay inside one workflow instead of jumping between separate tools just to build, inspect, and prove the behavior of a codebase.

The release also fits a longer Rust expansion inside the company’s formal-analysis stack. In February 2025, TrustInSoft partnered with Ferrous Systems to bring in the Ferrocene qualified Rust compiler toolchain. By 2025.10, the analyzer was already offering interactive root-cause investigation, code coverage, and mathematical proof guarantees for Rust, alongside the capabilities it had long provided for C and C++.

TrustInSoft has paired that technical roadmap with a clear verification message. Its tools are recognized by NIST for abstract interpretation, and the company says they can mathematically prove freedom from critical runtime errors and memory-safety issues. That positioning makes Rust a natural fit for the company’s safety and cybersecurity market, not just another supported language.

The April 2025 release had already added major usability improvements and a REST API, signaling a steady move toward workflow automation. The 2026 update takes that a step further: less manual setup, more automation, and a harder question for the Rust ecosystem to answer. If AI can generate the test scaffolding and formal methods still validate the result, high-assurance Rust may get easier to adopt. If not, the new layer of automation could become another place where trust has to be earned.

TrustInSoft said it will discuss the release at Embedded World 2026 in Nuremberg at booth 4-340.