Executing disassembler and type tracer