An Adobe SWF file format disassembler