IEEE - Institute of Electrical and Electronics Engineers, Inc. - A High-Level Control Structure Recovery Method Based on Propositional Calculus

2009 Second International Conference on Future Information Technology and Management Engineering (FITME)

Author(s): Jingbo Zhang ; Rongcai Zhao ; Jianmin Pang ; Wen Fu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2009
Conference Location: Sanya, China, China
Conference Date: 13 December 2009
Page(s): 155 - 158
ISBN (Paper): 978-1-4244-5339-9
DOI: 10.1109/FITME.2009.44
Regular:

This paper presents a method to recovery high-level control structures from binary executables, which is based on propositional calculus. Firstly, this method formalizes the control dependence... View More

Advertisement