Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 1

Pattern opcode matrix.