计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
z1期
315-319
,共5页
李丹%王震宇%井靖%王国好
李丹%王震宇%井靖%王國好
리단%왕진우%정정%왕국호
控制流重构%间接跳转%目标地址识别%路径约束%数据流分析
控製流重構%間接跳轉%目標地阯識彆%路徑約束%數據流分析
공제류중구%간접도전%목표지지식별%로경약속%수거류분석
Control flow reconstruction%Indirect jump%Recognition of target address%Trace constraint%Data flow analysis
间接跳转目标地址的识别一直是二进制代码控制流重构的难点之一,其跳转目标一般依赖于程序动态执行时的信息,传统方法无法精确识别.通过对控制流重构技术的研究,提出一种基于路径约束的间接跳转目标地址识别方法,即对于一个间接跳转,在初始控制流图的基础上构建从程序入口点到间接跳转的路径集合,对于每条路径,首先通过数据流分析相关技术得到跳转目标地址关于自由变量的一个表达式,然后对路径约束求解,得到满足约束的自由变量的一组特定解,并以此确定跳转目标表达式的值.通过该方法,每个间接跳转都可以根据路径集合确定跳转目标的地址集合.
間接跳轉目標地阯的識彆一直是二進製代碼控製流重構的難點之一,其跳轉目標一般依賴于程序動態執行時的信息,傳統方法無法精確識彆.通過對控製流重構技術的研究,提齣一種基于路徑約束的間接跳轉目標地阯識彆方法,即對于一箇間接跳轉,在初始控製流圖的基礎上構建從程序入口點到間接跳轉的路徑集閤,對于每條路徑,首先通過數據流分析相關技術得到跳轉目標地阯關于自由變量的一箇錶達式,然後對路徑約束求解,得到滿足約束的自由變量的一組特定解,併以此確定跳轉目標錶達式的值.通過該方法,每箇間接跳轉都可以根據路徑集閤確定跳轉目標的地阯集閤.
간접도전목표지지적식별일직시이진제대마공제류중구적난점지일,기도전목표일반의뢰우정서동태집행시적신식,전통방법무법정학식별.통과대공제류중구기술적연구,제출일충기우로경약속적간접도전목표지지식별방법,즉대우일개간접도전,재초시공제류도적기출상구건종정서입구점도간접도전적로경집합,대우매조로경,수선통과수거류분석상관기술득도도전목표지지관우자유변량적일개표체식,연후대로경약속구해,득도만족약속적자유변량적일조특정해,병이차학정도전목표표체식적치.통과해방법,매개간접도전도가이근거로경집합학정도전목표적지지집합.
