Astrée
🇩🇪 DE
Sound Static Analyzer für sicherheitskritischen C/C++-Code
Funktionen
Statische Analyse und formale Verifikation
- Beweist das Fehlen von Laufzeitfehlern (RTE) und ungültigen nebenläufigen Verhaltensweisen in C-, C++- und gemischten Codebasen
- Erkennt Datenrennen, Spectre-Schwachstellen und toten Code
- Führt erweiterte Taint-Analyse, Signalfluss-, Datenfluss- und Kontrollflussanalyse durch
- Analysiert Steuerungsverknüpfungen und Komponenteninterferenzen
Regelprüfung und Code-Metriken
- Überprüft die Einhaltung von MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR und ISO/IEC TS 17961
- Unterstützt anpassbare Regelsätze
- Berechnet und prüft Schwellenwerte für Code-Metriken (z. B. Kommentardichte, zyklomatische Komplexität)
Sicherheit, Cybersicherheit und Zertifizierungsunterstützung
- Identifiziert funktionale und nicht-funktionale Gefahren gemäß ISO 26262, DO-178C/DO-330, IEC 61508, EN 50128
- Unterstützt benutzerdefinierte Cybersicherheitsanalysen für DO-356A und ISO 21434
- Bietet Qualification Support Kits (QSK) für die automatisierte Werkzeugqualifizierung
Prüfung, Zusammenarbeit und Berichterstattung
- GUI mit vernetzten grafischen und textuellen Ansichten für Ergebnisse, Quellcode und Kontrollfluss
- Unterstützt kollaborative Prüfungen und Benutzerannotationen
- Delta-Analyse für Code-Überarbeitungen
- Automatisierte Berichterstellung (z. B. XML)
Automatisierung und Unternehmensbetriebe
- Befehlszeilen-/Batch-Modus für Build-Automatisierung
- TLS-verschlüsselte Kommunikation
- Authentifizierung über OpenID und OAuth2
Testversion und Support
- 30-tägige kostenlose Testversion mit allen kommerziellen Funktionen
- Enthält RuleChecker für Windows, Linux und macOS
- Kostenlose interaktive Online-Schulung über WebEx
- 180 Tage kostenloser technischer Support und Updates für kommerzielle Lizenzen
Preise
Individuelle Preisgestaltung auf Anfrage; 30-tägige kostenlose Testversion verfügbar.
EU-Trust-Profil
Was wir gegen öffentliche Quellen geprüft haben, zuletzt am 16.09.2026. Jeder Punkt verlinkt seinen Beleg.
Wir listen nur, was wir zum Prüfdatum gegen eine öffentliche Quelle belegen konnten. Ein fehlender Punkt ist ungeklärt — das ist kein Befund gegen den Anbieter. Maßgeblich ist der Anbieter.
Sie arbeiten bei Astrée?
Dieses Badge steht jedem gelisteten Anbieter kostenlos zur Verfügung und hat keinen Einfluss auf die Reihenfolge einer Liste. Grundlage sind ein verifizierter europäischer Hauptsitz (DE) und die von uns gegen öffentliche Quellen geprüften Compliance-Punkte — das Datum darauf ist unser letztes Prüfdatum.
Einbettungscode
<a href="https://tech-from-europe.eu/product/astree"><img src="https://tech-from-europe.eu/badge/astree.svg" alt="Astrée — verified European company on tech-from-europe.eu" height="164"></a>Reines HTML: ein SVG von unserer Domain, ohne JavaScript, ohne Cookies, ohne Tracking Ihrer Besucher. Für die breite Variante ?style=card anhängen, oder .svg gegen .png tauschen, wenn ein CMS SVG ablehnt. Ob Sie den Link auf nofollow setzen, ist Ihre Entscheidung — wir prüfen das nicht.
Wenn Sie das Profil mit einer Arbeitsadresse beanspruchen, erhalten Sie die Grafik als PNG, 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
- Mathematisch fundierte statische Codeanalyse ohne Falsch-Negative für Laufzeitfehler
- Automatisierte Compliance-Prüfungen für MISRA C/C++, CWE, ISO 26262 und DO-178C
- Schnelle Batch-Analyse und Integration in CI/CD-Pipelines
- Umfassende technische Dokumentation und Qualifizierungs-Support-Kits
- Intuitive, vollständig webbasierte Oberfläche für mobile Nutzung am Shopfloor
- Echtzeit-OEE/TRS-Tracking und papierlose Arbeitsaufträge
- Modulares Rollout-Modell für schrittweise Digitalisierung der Produktion
- Hohe Kundenempfehlungsrate für den Anbieter-Support
Wo Nutzer Verbesserungspotenzial sehen
- · Hohe Lernkurve für die Konfiguration der formalen Verifikation
- · Langer Initialaufwand für Annotationen und Untersuchung von Fehlalarmen
- · Individuelle Integration für Altmaschinen und tiefe ERP-Synchronisation erforderlich
Integrationen
Funktions-, Preis- und Integrationsangaben basieren auf Web-Recherche (Stand 16.09.2026), ohne Gewähr, Fehler sind möglich. Maßgeblich ist die Website des Anbieters.