- Home
- C and C++ Static Analysis Tools
- TrustInSoft Analyzer
TrustInSoft Analyzer
Paris, France, with a San Francisco, USA office
What it is
TrustInSoft Analyzer uses exhaustive static analysis and formal methods to examine source code for memory-safety issues and runtime errors. It explores possible execution paths and input values to provide mathematical guarantees about behavior. The maker describes support for C, C++, and Rust, with checks for memory defects, security, coding rules, concurrency, MISRA, and taint analysis. Its graphical interface offers root-cause guidance and traceable diagnostics. Integrations include Jenkins, GitLab CI, and AWS CodePipeline. A REST API exposes analysis results, code locations, evaluation data, and coverage metrics as structured JSON. The April 2026 release added AI-powered analysis-driver generation for C, C++, and Rust, plus context-aware C stub generation. Deployment includes macOS and Docker for CI pipelines and shared development environments. TrustInSoft says Analyzer was qualified by TÜV SÜD for ISO 26262 up to ASIL D. The company serves safety- and security-minded teams in critical, automotive, telecom, IoT, and semiconductor industries.
For and against
For
- Exhaustive path and input analysis
- Supports C, C++, and Rust
- MISRA and taint checks
- CI integration options
- REST API with structured results
Against
- Pricing is available only on request
- Deployment support listed for macOS and Docker
- Designed for specialized critical-industry teams
The verdict
TrustInSoft Analyzer targets teams that need formal analysis, coding checks, and traceable defect diagnostics. Its integrations, API, and stated ISO 26262 qualification support automated and regulated development workflows.
Who it suits
It suits safety- and security-focused engineering teams working with C, C++, or Rust. Organizations in automotive, telecom, IoT, semiconductor, and other critical sectors are specifically addressed.
Plans and prices
TrustInSoft Analyzer
Pricing by request; demo available
Read 2 Oct 2026 · trust-in-soft.com
On the record
- AI assistance
- The April 2026 release adds AI-powered analysis driver generation for C, C++, and Rust, plus context-aware stub generation for C.trust-in-soft.com · read 2 Oct 2026
- Analysis
- The product explores possible execution paths and input values to provide mathematical guarantees about code behavior.trust-in-soft.com · read 2 Oct 2026
- API
- A 2025 release announcement describes a REST API for accessing analysis results, code locations, evaluation data, and coverage metrics as structured JSON.trust-in-soft.com · read 2 Oct 2026
- Certification
- The company says Analyzer was qualified by TÜV SÜD for ISO 26262 up to ASIL D.trust-in-soft.com · read 2 Oct 2026
- Deployment
- The April 2026 release page says deployment includes macOS and Docker and is streamlined for CI pipelines and shared development environments.trust-in-soft.com · read 2 Oct 2026
- Integrations
- The maker lists integrations with Jenkins, GitLab CI, and AWS CodePipeline.trust-in-soft.com · read 2 Oct 2026
- Languages
- The maker describes Analyzer support for C, C++, and Rust.trust-in-soft.com · read 2 Oct 2026
- Pricing availability
- The product page directs visitors to request a demo, and the contact page says to reach the team for pricing information.trust-in-soft.com · read 2 Oct 2026
- Purpose
- TrustInSoft Analyzer uses exhaustive static analysis and formal methods to detect memory safety issues and runtime errors in source code.trust-in-soft.com · read 2 Oct 2026
- Reporting
- The product page says its GUI provides root-cause guidance and traceable diagnostics for resolving defects.trust-in-soft.com · read 2 Oct 2026
- Support
- The maker invites prospective customers to contact its team for demos, pricing information, and support questions.trust-in-soft.com · read 2 Oct 2026
- Target users
- The company describes its customers as safety- and security-minded teams in critical, automotive, telecom, IoT, and semiconductor industries.trust-in-soft.com · read 2 Oct 2026
