Heptane generates a set of XML files giving details on:

• the WCET computation,
• the syntax tree,
• the control flow graph,
• basic blocks,
• results micro-architecture simulations :
  • abstract instruction cache states (cf F.Mueller work),
  • abstract btb states (see our publications on WCET analysis),
  • instructions and CT-instructions classification,
  • pipeline reservation tables.