OTAWA

Development Tools

OTAWA provides lots of tools to help the development of new extensions to check, control, explore and display the program in assembly language. In addition, lots of common analyses are already provided reducing the weight of adding new analyses.