OTAWA is mainly a framework dedicated to static analysis on machine language. Several tools and representations are provided with abstract interpretation engines.
Machine Language Framework
- WCET Exploration
- Instruction Sets
OTAWA is mainly a framework dedicated to static analysis on machine language. Several tools and representations are provided with abstract interpretation engines.