The task of disassembly is complicated by indirect … algorithms are not always able to cope … [with] such features, and they fail silently … [p. 45] Experimental results indicate that our algorithm is … precision, to identify potential disassembly problems rather than … input executables. … [p. 49] Our approach is straightforward. We disassemble the … then verify the results of this disassembly a … Any function for which verification fails, i.e., for … [p. 50] The use of statically linked executables results … It can be seen that the amount of … comprising less than 0.3% of the program's text …
Google-1
Google-2
Copyright clearance needed for quotation.