计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
16期
4-6
,共3页
张靖博%赵荣彩%庞建民%付文
張靖博%趙榮綵%龐建民%付文
장정박%조영채%방건민%부문
软件逆向分析%命题逻辑%控制结构恢复%控制依赖
軟件逆嚮分析%命題邏輯%控製結構恢複%控製依賴
연건역향분석%명제라집%공제결구회복%공제의뢰
提出一种基于命题演算的二进制代码高级控制结构恢复方法.该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定.测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力.
提齣一種基于命題縯算的二進製代碼高級控製結構恢複方法.該方法針對低級指令之間的控製依賴關繫進行形式化,將其抽象為命題邏輯變元,併且沿著程序執行路徑進行傳播和縯算,通過計算結果中的特定命題常元對隱藏于低級代碼中的高級控製結構進行判定.測試結果錶明,該方法能夠較好地檢測併恢複齣循環結構和分支結構,且具備針對謂詞指令的分析和恢複能力.
제출일충기우명제연산적이진제대마고급공제결구회복방법.해방법침대저급지령지간적공제의뢰관계진행형식화,장기추상위명제라집변원,병차연착정서집행로경진행전파화연산,통과계산결과중적특정명제상원대은장우저급대마중적고급공제결구진행판정.측시결과표명,해방법능구교호지검측병회복출순배결구화분지결구,차구비침대위사지령적분석화회복능력.
