Obviously not. It's up to the tinkerer to figure that out (which is clearly possible by tracing around). Again, this is pretty trivial with a disassembler such

Obviously not. It's up to the tinkerer to figure that out (which is clearly possible by tracing around). Again, this is pretty trivial with a disassembler such as Hopper that can generate pseudocode.