| C | C++ | Ada | PL/I |
Runtime error analysis |
✓ |
✓ |
— |
— |
Data race analysis |
✓ |
✓ |
— |
— |
Non-interference analysis |
✓ |
✓ |
— |
— |
Taint analysis |
✓ |
✓ |
— |
— |
Signal-flow analysis |
✓ |
✓ |
— |
— |
Data-flow analysis |
✓ |
✓ |
— |
— |
Control-flow analysis |
✓ |
✓ |
— |
— |
Control-coupling analysis |
✓ |
✓ |
— |
— |
Component-interference analysis |
✓ |
✓ |
— |
— |
Cybersecurity analyses |
✓ |
✓ |
— |
— |
Rule checking (MISRA) |
✓ |
✓ |
— |
— |
Rule checking (other) |
✓ |
✓ |
— |
— |
Rule checking (custom) |
✓ |
✓ |
— |
— |
Code metrics (HIS) |
✓ |
✓ |
— |
— |
Verified compilation |
✓ |
— |
— |
— |
Control flow visualization |
✓ |
✓ |
— |
— |
Dead code recognition |
✓ |
✓ |
— |
— |
|
Control flow visualization |
✓ |
✓ |
✓ |
✓ |
Dead code recognition |
✓ |
✓ |
✓ |
✓ |
Static WCET analysis |
✓ |
✓ |
✓ |
✓ |
Hybrid WCET analysis |
✓ |
✓ |
✓ |
— |
Timing profiling |
✓ |
✓ |
✓ |
✓ |
Stack usage analysis |
✓ |
✓ |
✓ |
✓ |
Memory safety analysis |
✓ |
✓ |
✓ |
✓ |
Energy consumption analysis |
✓ |
✓ |
✓ |
— |