Unsere Tools bieten Ihnen eine große Auswahl an statischen Analysen für die Entwicklung, Optimierung und Zertifizierung von sicherheitskritischen Anwendungen für RISC-V-Prozessoren.
Bei Bedarf können Sie uns auch mit der Analyse Ihres Codes beauftragen. Alle der folgenden Analysen bieten wir auch als Dienstleistung an.
| C | C++ | |
|---|---|---|
| Laufzeitfehleranalyse | Astrée | Astrée |
| Datenwettlaufanalyse | Astrée | Astrée |
| Interferenzanalyse | Astrée | Astrée |
| Taint-Analyse | Astrée | Astrée |
| Signalflußanalyse | Astrée | Astrée |
| Datenflußanalyse | Astrée | Astrée |
| Kontrollflußanalyse | Astrée | Astrée |
| Control-Coupling-Analyse | Astrée | Astrée |
| Analyse von Interferenzen zwischen benutzerdefinierten Softwarekomponenten | Astrée | Astrée |
| Benutzerdefinierte Cybersecurity-Analysen | Astrée | Astrée |
| Erkennung von Spectre-Sicherheitslücken | Astrée | Astrée |
| Regelsatzüberprüfung (MISRA) | Astrée, RuleChecker | Astrée, RuleChecker |
| Regelsatzüberprüfung (andere Standards) | Astrée, RuleChecker | Astrée, RuleChecker |
| Regelsatzüberprüfung (benutzerdefiniert) | Astrée, RuleChecker | Astrée, RuleChecker |
| Berechnung der HIS-Metriken | Astrée | Astrée |
| Formal verifiziertes Kompilierten | CompCert | — |
| Interaktive Kontrollflußvisualisierung | Astrée | Astrée |
| Erkennung von totem Code | Astrée | Astrée |
| Entfernung von totem Code | CompCert | — |
| kompilierter C-Code | kompilierter C++-Code | |
| Timing-Profiling | TimingProfiler | TimingProfiler |
| Stackanalyse | StackAnalyzer | StackAnalyzer |
| Valueanalyse | ValueAnalyzer | ValueAnalyzer |
| Interaktive Kontrollflußvisualisierung | alle o. g. | alle o. g. |
| Erkennung von totem Code | alle o. g. | alle o. g. |
| Statische WCET-Analyse | auf Anfrage | auf Anfrage |
| Hybride WCET-Analyse | in Entwicklung | in Entwicklung |
