otawa-polymalys

====== OTAWA 2.0, code named "Reloaded" () =====

===== Information =====

  OTAWA (Open Tool for Adaptive WCET Analysis) is a framework of C++ classes
dedicated to static analyses of programs in machine code and to the computation
f WCET (Worst Case Execution Time).

  OTAWA is freely available (under the LGPL license) and is developed by the
TRACES (http://www.irit.fr/recherches/ARCHI/MARCH/) team at IRIT labs
(http://www.irit.fr), université Paul Sabatier, France.

  OTAWA provides state-of-art WCET analyses like IPET (Implicit Path Enumeration
Technique) and a lot of facilities to work on binary programs (control flow
graphs, loop detection and so on).

  OTAWA supports successfully many architecture as PowerPC or M68HC.
More ISA (Instruction Set Architecture) are currently under development like
ARM or TriCore.

  The official website of OTAWA may be found at the URL below:
    http://www.otawa.fr
  You may contact us at <otawa@irit.fr>

===== Include Tools =====

OTAWA v2 comes with a slightly modified version of XDOT, named ''otawa-xdot.py''.
[[https://github.com/jrfonseca/xdot.py]]. It is delivered under LGPL
license (thanks for this great work).