Of course, there is no way to guarantee correctness. the point is with the current system the chances of being correct are around 1:(average instruction length) (a bit better because there is a chance to resync), while with my proposal to be _incorrect_ you need to start wrong _and_ hit a bad resync.ksymoops can disasemble the entire code line, but starting at different offsets (up to the maximum instruction length) from the start. the first disassembly to include the program counter in the output would be deemed correct.
There might be several... I see no reason to consider the first one
correct.