| C | C++ | ||
|---|---|---|---|
| Runtime error analysis | Astrée | Astrée | |
| Data race analysis | Astrée | Astrée | |
| Non-interference analysis | Astrée | Astrée | |
| Taint analysis | Astrée | Astrée | |
| Signal-flow analysis | Astrée | Astrée | |
| Data-flow analysis | Astrée | Astrée | |
| Control-flow analysis | Astrée | Astrée | |
| Control-coupling analysis | Astrée | Astrée | |
| Component-interference analysis | Astrée | Astrée | |
| Cybersecurity analyses | Astrée | Astrée | |
| Spectre vulnerability detection | Astrée | Astrée | |
| Rule checking (MISRA) | Astrée, RuleChecker | Astrée, RuleChecker | |
| Rule checking (other) | Astrée, RuleChecker | Astrée, RuleChecker | |
| Rule checking (custom) | Astrée, RuleChecker | Astrée, RuleChecker | |
| Code metrics (HIS) | Astrée | Astrée | |
| Verified compilation | CompCert | — | |
| Control flow visualization | Astrée | Astrée | |
| Dead code recognition | Astrée | Astrée | |
| Dead code elimination | CompCert | — | |
| Postpass validation | Valex | — | |
| compiled C | compiled C++ | compiled Ada | |
| Static WCET analysis | aiT | aiT | aiT |
| Hybrid WCET analysis | TimeWeaver | TimeWeaver | TimeWeaver |
| Timing profiling | TimingProfiler | TimingProfiler | TimingProfiler |
| Stack usage analysis | StackAnalyzer | StackAnalyzer | StackAnalyzer |
| Memory safety analysis | ValueAnalyzer | ValueAnalyzer | ValueAnalyzer |
| Energy consumption analysis | EnergyAnalyzer | EnergyAnalyzer | EnergyAnalyzer |
| Control flow visualization | все вышеназванные | все вышеназванные | все вышеназванные |
| Dead code recognition | все вышеназванные | все вышеназванные | все вышеназванные |
