Identifying independent unsafe behaviors #112
Description
Is any program state maintained by the compiler (e.g., safe offsets for each pointer, etc.) changed by the safety_chk_insn function?
If so, it would be useful to understand the implications of pushing on with program checking even after encountering one unsafe instruction.
If the function is entirely stateless (not changing any program state), it would help noting that down explicitly in a comment.
Originally posted by @ngsrinivas in #111 (comment)