TrustInSoft Analyzer

What TrustInSoft Analyzer is

TrustInSoft Analyzer examines source code for memory safety problems and runtime errors using exhaustive static analysis and formal methods. It explores possible execution paths and input values to provide mathematical guarantees about code behavior. The maker describes support for C, C++, and Rust. Available checks include memory defect detection, security analysis, coding-rule checks, concurrency analysis, MISRA support, and taint analysis.

A graphical interface provides root-cause guidance and diagnostics that can be traced to defects. Analyzer integrates with Jenkins, GitLab CI, and AWS CodePipeline. A REST API provides access to analysis results, code locations, evaluation data, and coverage metrics in structured JSON. The April 2026 release added AI-powered generation of analysis drivers for C, C++, and Rust, as well as context-aware stub generation for C. Deployment includes macOS and Docker, with CI pipelines and shared development environments in mind.

TrustInSoft says Analyzer was qualified by TÜV SÜD for ISO 26262 up to ASIL D. The company, founded in 2013, is based in Paris and has a San Francisco office. It describes its customers as safety- and security-minded teams in critical, automotive, telecom, IoT, and semiconductor industries. The product is paid, with pricing available by request; prospective customers can request a demo.

Who it suits

Analyzer is aimed at safety- and security-minded software teams, particularly in critical, automotive, telecom, IoT, and semiconductor industries. It may suit developers working in C, C++, or Rust who need formal analysis and traceable defect diagnostics.

Getting started

1. Visit the TrustInSoft website.
2. Request a demo from the TrustInSoft team.
3. Contact the team for pricing information.
4. Plan deployment for Linux or macOS; the April 2026 release also describes Docker deployment.
5. Connect it with Jenkins, GitLab CI, or AWS CodePipeline if those are part of your workflow.

Verdict

Choose TrustInSoft Analyzer if your team needs formal static analysis for C, C++, or Rust and works in a safety- or security-focused field. Its integrations, diagnostics, and structured API support development workflows. Look elsewhere if you need published pricing or a platform beyond the listed Linux and macOS options.