Our tools offer a vast variety of static analyses for the development, debugging, optimization, and certification of safety-critical and mission-critical RISC-V applications.
You can also commission us with the analysis of your code. Any of the analyses listed below can be carried out as a service according to your requirements.
| 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 |
| 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 | — |
| compiled C | compiled C++ | |
| Timing profiling | TimingProfiler | TimingProfiler |
| Stack usage analysis | StackAnalyzer | StackAnalyzer |
| Memory safety analysis | ValueAnalyzer | ValueAnalyzer |
| Control flow visualization | all of the above | all of the above |
| Dead code recognition | all of the above | all of the above |
| Static WCET analysis | on request | on request |
| Hybrid WCET analysis | in development | in development |
