Our tools offer a multitude of static analyses for the development, debugging, optimization, and certification of safety-critical applications for V850 and RH850 processors.
Qualification Support Kits are available to help you with the qualification for ISO 26262 and other safety standards.
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 |
Control flow visualization | Astrée | Astrée |
Dead code recognition | Astrée | Astrée |
compiled C | compiled C++ | |
Static WCET analysis | aiT | aiT |
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 |