softosaur.
EN
Site languageEnglishEspañolDeutschРусскийPortuguês

TrustInSoft Analyzer

Helps developers, QA and test engineers in safety-critical industries find and eliminate memory safety issues, runtime errors and undefined behaviors in C, C++ and Rust code, with mathematical guarantees within the defined analysis scope and assumptions.

Softosaur reviews (0)Write a review

By TrustInSoft

trust-in-soft.com

Suggest a correction

Overview

Users run exhaustive static analysis based on formal methods on C, C++ and Rust code, then follow guided remediation in the GUI to the root cause of each finding. Release 26.10 adds an AI coding agent inside the interface that automates key steps of preparing and configuring an analysis campaign, and higher automation of MC/DC coverage with a truth-table view and certification-oriented reports. Guarantees apply within the defined analysis scope and assumptions; the AI assists with setup while the Analyzer performs the verification.
More product details

Who it is for

Industries
  • Automotive
  • Aerospace and defense
  • Electronics
Roles
  • Developer

Product

Solution Kind
Application

Features

Vulnerability Scanning

Exhaustive formal static analysis of C, C++ and Rust source code

Detection of memory safety issues, runtime errors and undefined behaviors

Not included
  • Scanning of deployed or running systems
More details & conditions: Vulnerability Scanning

Traceable diagnostics with guided root-cause remediation in the GUI

Technical details

AI

Action Permissions
  • Action
    Automate key steps to prepare and configure an analysis campaign inside the Analyzer interface (26.10)
    Object scope
    Analysis setup work such as memory mappings, stubs and test drivers; the Analyzer itself performs the verification

Security

Assurances
  • Kind
    Attestation
    Scope
    TrustInSoft Analyzer qualified as a tool for ISO 26262 certification up to ASIL D (2023)
    Issuer
    TÜV SÜD
    Standard
    ISO 26262

Reviews

User experiences, moderated before publication. Review policy

Write a review

No reviews yet.

Be the first to share your experience with TrustInSoft Analyzer.

Add a product

Search to find a product.

Privacy choices

Choose what to allow.

You can change your choice here at any time. Refusing optional analytics does not limit the catalog.

AdvertisingAdSense is not currently enabled. Advertising choices will be available through its consent platform before ads are activated.Not active

Cookie details · Privacy rights