Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 2

Graphical overview of the SSA tool.