Mit welchen Tools lässt sich TrustInSoft Analyzer verbinden?

TrustInSoft Analyzer lässt sich unter anderem mit GitHub Actions, GitLab und Jenkins verbinden.

Automotive-Software & Digitale Fahrwerk-Plattformen

TrustInSoft Analyzer

🇫🇷 FR

Formale Code-Analyse für C/C++ und Rust mit ISO-26262-Qualifizierung bis ASIL D

ISO 26262 (TÜV SÜD qualified, up to ASIL D)

TrustInSoft Analyzer nutzt formale Methoden, um C-, C++- und künftig Rust-Code erschöpfend zu prüfen und Laufzeitfehler sowie Sicherheitslücken mit mathematischer Gewissheit zu erkennen. Enthalten ist ein Root-Cause-Investigator zur Nachverfolgung von Ausführungspfaden, ab 2026 kommt eine KI-gestützte Generierung von Testtreibern hinzu. Das Tool ist von TÜV SÜD für ISO 26262 bis ASIL D qualifiziert und richtet sich an sicherheitskritische Anwendungen in der Automobil- und Embedded-Branche. Die Preise basieren auf Abo-Modellen und sind auf Anfrage erhältlich.

Funktionen

Statische Analyse und formale Verifikation

Fehlerfreie Analyse ohne Falsch-Negative für C/C++/Rust-Code
Erkennt Laufzeitfehler, Speichersicherheitsprobleme und undefiniertes Verhalten
Erschöpfende Codeanalyse mit formalen Methoden

KI-gestützte Einrichtung und Tests

Erzeugt kontextbewusste Testtreiber und Stubs
Erstellt Speicherabbildungen für schnellere Einrichtung
Geführte Konfiguration und Erkennung von Panik-Pfaden

Hardwarebewusste Analyse

Zielbewusste Emulation für hardware-spezifische Bedingungen
Modelliert die beabsichtigte Hardware-Umgebung für eine genaue Bewertung

Testabdeckung und Compliance

MC/DC-Testabdeckungsanalyse auf Basis formaler Methoden
Unterstützt MISRA C, CERT C, ISO 26262, DO-178C, AUTOSAR
Unterstützt die Überprüfung des U.S. Cyber TrustMark

Diagnose und Workflow

Nachverfolgbare Diagnosen mit Röntgenansicht der Programmausführung
CLI/Headless-Modus für CI/CD-Integration
Berichterstattung und Rust-Workflows in der GUI

Preise

Preise auf Anfrage. Demo- und Testversionen sind auf Anfrage verfügbar.

Sie arbeiten bei TrustInSoft Analyzer?

Wir konnten für Sie bisher keinen einzigen Trust-Punkt gegen eine öffentliche Quelle belegen, deshalb gibt es kein Badge — es trägt ein Prüfdatum, und wir drucken keines, das wir nicht geprüft haben. Nennen Sie uns eine öffentliche Seite (AVV, Trust Center, Zertifikat, Impressum), wir prüfen erneut; das Badge folgt automatisch.

Wenn Sie das Profil mit einer Arbeitsadresse beanspruchen, erhalten Sie ein Formular für Korrekturen und eine Nachricht, sobald wir Sie erneut prüfen.

Profil beanspruchen →

Etwas auf dieser Seite ist falsch? Schreiben Sie an hello@tech-from-europe.eu mit einem öffentlichen Link, wir prüfen es erneut.

Bewertungen

Wiederkehrende Themen, zusammengefasst aus öffentlichen Bewertungen verschiedener Portale.

Was Nutzer schätzen

Mathematische Analyse für hohe Sicherheit bei der Fehlererkennung
Effektiv beim Aufdecken subtiler undefinierter Verhaltensweisen
Ergänzt bestehende Testsuites gut
Reaktiver Kundensupport

Wo Nutzer Verbesserungspotenzial sehen

· Lange Analyse-Laufzeiten ohne klare Zeitangaben
· Hohe Einarbeitungszeit für fortgeschrittene Funktionen

Integrationen

GitHub ActionsGitLabJenkins

Häufige Fragen zu TrustInSoft Analyzer

Mit welchen Tools lässt sich TrustInSoft Analyzer verbinden?: TrustInSoft Analyzer lässt sich unter anderem mit GitHub Actions, GitLab und Jenkins verbinden.

Funktions-, Preis- und Integrationsangaben basieren auf Web-Recherche (Stand 07.10.2026), ohne Gewähr, Fehler sind möglich. Maßgeblich ist die Website des Anbieters.