A binary format analysis tool