计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
19期
30-33
,共4页
尹青%何东%李娜%何红旗
尹青%何東%李娜%何紅旂
윤청%하동%리나%하홍기
反编译%类型重构%类型约束%中间语言%类型格
反編譯%類型重構%類型約束%中間語言%類型格
반편역%류형중구%류형약속%중간어언%류형격
为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.
為恢複變量的數據類型信息併提高反編譯的質量,提齣一種基于規則的數據類型重構方法.採用靜態和動態相結閤的分析方式,將可執行代碼轉化為中間語言,在優化中間語言的基礎上為每條指令製定約束規則,併給齣相應的求解算法,從而推導齣變量的數據類型信息.實驗結果錶明,該方法能對簡單數據變量類型和複雜數據變量類型進行恢複,具有較高的準確性.
위회복변량적수거류형신식병제고반편역적질량,제출일충기우규칙적수거류형중구방법.채용정태화동태상결합적분석방식,장가집행대마전화위중간어언,재우화중간어언적기출상위매조지령제정약속규칙,병급출상응적구해산법,종이추도출변량적수거류형신식.실험결과표명,해방법능대간단수거변량류형화복잡수거변량류형진행회복,구유교고적준학성.
