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.