OTAWA is a framework of C/C++ classes dedicated to static analyses of programs in machine code and to the computation of WCET. It is freely available (under the LGPL licence) and is developed by the TRACES team at IRIT labs, University of Toulouse, France.
OTAWA provides state-of-art WCET analyses like IPET and a lot of facilities to work on binary programs (control flow graphs, loop detection and so on).
OTAWA successfully supports several architectures like PowerPC, ARM, Sparc or M68HCS. More ISA4) are currently under development like TriCore.
Web site: http://www.otawa.fr/
