Unsere Tools bieten Ihnen eine große Auswahl an statischen Analysen für die Entwicklung, Optimierung und Zertifizierung von sicherheitskritischen Anwendungen für 32- und 64-Bit-ARM-Prozessoren.
Unsere Qualifizierungskits helfen Ihnen, die Qualifizierung nach ISO 26262, DO-178B/C, IEC-61508 und anderen Sicherheitsstandards zu vereinfachen.
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 Kompilieren | 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 | kompilierter Ada-Code | |
| Statische WCET-Analyse | aiT | aiT | aiT |
| Hybride WCET-Analyse | TimeWeaver | TimeWeaver | TimeWeaver |
| Timing-Profiling | TimingProfiler | TimingProfiler | TimingProfiler |
| Stackanalyse | StackAnalyzer | StackAnalyzer | StackAnalyzer |
| Valueanalyse | ValueAnalyzer | ValueAnalyzer | ValueAnalyzer |
| Analyse des Energieverbrauchs | EnergyAnalyzer | EnergyAnalyzer | EnergyAnalyzer |
| Interaktive Kontrollflußvisualisierung | alle o. g. | alle o. g. | alle o. g. |
| Erkennung von totem Code | alle o. g. | alle o. g. | alle o. g. |
