Trace generation/analysis tools

The MET includes a set of tools designed to examine instruction execution traces for consistency, check for illegal instructions, malformed instructions, address alignment, branch target consistency, branch target alignment, and size of variable-length transfers. Other features of these support tools include printing the assembly representation of the instructions from the trace, generate traces (using Aria) and save them on disk, and so on.

See the Publications and Presentations for further information regarding the trace tools.