tech from europe
Automotive software & digitale chassisplatforms

TrustInSoft Analyzer

🇫🇷 FR

Formele code-analyse voor C/C++ en Rust met ISO 26262-kwalificatie tot ASIL D

ISO 26262 (TÜV SÜD qualified, up to ASIL D)
Naar de website →Vergelijken
TrustInSoft Analyzer gebruikt formele methoden om C-, C++- en binnenkort Rust-code uitputtend te verifiëren, met wiskundige zekerheid runtime-fouten en kwetsbaarheden op te sporen. Het bevat een Root Cause Investigator om uitvoeringspaden te traceren en voegt in 2026 AI-ondersteunde generatie van testdrivers toe. De tool is door TÜV SÜD gekwalificeerd voor ISO 26262 tot ASIL D, gericht op veiligheidskritische toepassingen in de automotive en embedded sector. Prijzen zijn abonnementsgebaseerd en op aanvraag beschikbaar.

Functies

Statische analyse en formele verificatie

  • Betrouwbare analyse zonder vals-negatieven voor C/C++/Rust-code
  • Detecteert runtime-fouten, geheugenveiligheidsproblemen en ongedefinieerd gedrag
  • Uitputtende code-analyse met formele methoden

AI-ondersteunde instelling en testen

  • Genereert contextbewuste testdrivers en stubs
  • Maakt geheugenmappings voor snellere instelling
  • Begeleide configuratie en detectie van paniekpaden

Hardwarebewuste analyse

  • Doelbewuste emulatie voor hardware-specifieke omstandigheden
  • Modelleert de beoogde hardware-omgeving voor een nauwkeurige beoordeling

Dekking en compliance

  • MC/DC-dekkingsanalyse op basis van formele methoden
  • Ondersteunt MISRA C, CERT C, ISO 26262, DO-178C, AUTOSAR
  • Helpt bij verificatie van U.S. Cyber TrustMark

Diagnostiek en workflow

  • Traceerbare diagnostiek met X-Ray-weergave van programmatie
  • CLI/headless-modus voor CI/CD-integratie
  • Rapportage en Rust-workflows in de GUI

Prijzen

Prijzen op aanvraag. Demo’s en proefversies zijn op aanvraag beschikbaar.

Werk je bij TrustInSoft Analyzer?

We konden voor jou nog geen enkel trustpunt aan een openbare bron toetsen, dus er is geen badge om uit te geven — hij draagt een controledatum, en we drukken er geen af die we niet hebben gecontroleerd. Wijs ons op een openbare pagina (een verwerkersovereenkomst, een trustcenter, een certificaat, je bedrijfsgegevens) en we controleren opnieuw; de badge volgt automatisch.

Claim je het profiel met een zakelijk e-mailadres, dan krijg je een formulier om fouten te corrigeren en een bericht zodra we je opnieuw controleren.

Dit profiel claimen →

Klopt er iets niet op deze pagina? Mail naar hello@tech-from-europe.eu met een openbare link, dan controleren we het opnieuw.

Reviews

Terugkerende thema's, samengevat uit openbare reviews op verschillende platforms.

Wat gebruikers waarderen

  • Wiskundige analyse voor betrouwbare foutdetectie
  • Effectief in het opsporen van subtiele ongedefinieerde gedragingen
  • Vult bestaande testsuites goed aan
  • Reactieve klantenservice

Waar gebruikers ruimte voor verbetering zien

  • · Lange analysetijden zonder duidelijke schattingen
  • · Steile leercurve voor geavanceerde functies

Integraties

GitHub ActionsGitLabJenkins

Veelgestelde vragen over TrustInSoft Analyzer

Met welke tools kun je TrustInSoft Analyzer koppelen?
TrustInSoft Analyzer is onder meer te koppelen aan GitHub Actions, GitLab en Jenkins.

Gegevens over functies, prijzen en integraties zijn gebaseerd op webonderzoek (stand 07-10-2026), zonder garantie; fouten zijn mogelijk. De website van de aanbieder is leidend.