TrustInSoft Analyzer
trust-in-soft.com
Spec sheet
- Purpose
- TrustInSoft Analyzer uses exhaustive static analysis and formal methods to detect memory safety issues and runtime errors in source code.Read 2 Oct 2026 · trust-in-soft.com
- Deployment
- The April 2026 release page says deployment includes macOS and Docker and is streamlined for CI pipelines and shared development environments.Read 2 Oct 2026 · trust-in-soft.com
- API
- A 2025 release announcement describes a REST API for accessing analysis results, code locations, evaluation data, and coverage metrics as structured JSON.Read 2 Oct 2026 · trust-in-soft.com
- Integrations
- The maker lists integrations with Jenkins, GitLab CI, and AWS CodePipeline.Read 2 Oct 2026 · trust-in-soft.com
- Support
- The maker invites prospective customers to contact its team for demos, pricing information, and support questions.Read 2 Oct 2026 · trust-in-soft.com
- Headquarters
- Paris, France, with a San Francisco, USA officeRead 28 Sep 2026 · trust-in-soft.com
- Founded
- 2013Read 28 Sep 2026 · trust-in-soft.com
- AI assistance
- The April 2026 release adds AI-powered analysis driver generation for C, C++, and Rust, plus context-aware stub generation for C.Read 2 Oct 2026 · trust-in-soft.com
- Analysis
- The product explores possible execution paths and input values to provide mathematical guarantees about code behavior.Read 2 Oct 2026 · trust-in-soft.com
- Certification
- The company says Analyzer was qualified by TÜV SÜD for ISO 26262 up to ASIL D.Read 2 Oct 2026 · trust-in-soft.com
- Languages
- The maker describes Analyzer support for C, C++, and Rust.Read 2 Oct 2026 · trust-in-soft.com
- Pricing availability
- The product page directs visitors to request a demo, and the contact page says to reach the team for pricing information.Read 2 Oct 2026 · trust-in-soft.com
- Reporting
- The product page says its GUI provides root-cause guidance and traceable diagnostics for resolving defects.Read 2 Oct 2026 · trust-in-soft.com
- Target users
- The company describes its customers as safety- and security-minded teams in critical, automotive, telecom, IoT, and semiconductor industries.Read 2 Oct 2026 · trust-in-soft.com
Plans and prices
TrustInSoft Analyzer Priced on request Pricing by request; demo available Read 2 Oct 2026 · trust-in-soft.com
Where Specifiction places it
- C and C++ Static Analysis Tools#19 of 256.7