Program Understanding Approach for Binary Code Based on Data Flow Analysis

唐和平,吴志勇,黄曙光,李永成
DOI: https://doi.org/10.3969/j.issn.1000-3428.2010.17.009
2010-01-01
Abstract:On the basis of data flow analysis,this paper translates program into data flow descriptive markers and obtains reach in and out definitions sets of basic blocks through data flow reach-definition anlysis.It establishes relation between function input and output to achieve static understanding.Experimental results demonstrate that string operating functions such as copy routine are correctly identified without extra clue by using this method.
What problem does this paper attempt to address?