Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 5

Induced bug in a pattern of stuttering instructions. (a) Behavior of correct code. (b) Behavior of buggy code.

(a)

(b)