基于函数指针数组的代码迷惑技术.pdf

《基于函数指针数组的代码迷惑技术.pdf》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、第27卷第12期计算机学报Voi.27No.122004年12月CHINESEJOURNALOFCOMPUTERSDec.2004基于函数指针数组的代码迷惑技术1）1），2）李永祥陈意云1）（中国科学技术大学计算机科学与技术系合肥230027）2）（中国科学院软件研究所计算机科学实验室北京100080）摘要移动代理在网络计算中经常遇到有目的的篡改攻击，只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低，就能有效地增加这种攻击的难度，从而在一定程度上阻止这种攻击.函数指针分析及控制流分析是程序分析中的难点，也是引起分析的精确度降低的原因.文章首先给出一种增添函数指针数组的

2、程序变换方法，使得函数之间的调用关系函数变得难以分析；同时提出一种控制流变换方法来增加程序分析中的数据流及控制流分析的复杂度，从而使得程序分析的精确度大大降低，最终使篡改攻击难以达到目的.关键词代码迷惑；函数指针；控制流变换中图法分类号TP311TechnigueofCodeObfuscationBasedonFunctionPointerArray1）1），2）LIYong-xiangCHENYi-Yun1）（DepartmentofComputerandTechnology，UniuersityofScienceandTechnologyofChina，Hefei230027）2）

3、（LaboratoryofComputerScience，InstituteofSoftware，ChineseAcademyofSciences，Beijing100080）AbstractMobiieagentmayoftenbepurposefuiiytamperedinthenet，butwecanincreasethedifficui-tyofthetamperingattackeffectiveiyifwecanincreasethecompiexityanddecreasetheaccuracyofanaiy-sistothemobiiecodebythecodeobfu

4、scationtechniguessoastopreventthetamperingattack.Functionpointeraiiasandcontroifiowanaiysisaredifficuitiesinthecourseofprogramanaiysis，andreasonswhytheaccuracyofprogramanaiysisaredecreased.Thisarticiefirstiypresentsakindofmethodtotransformtheprogramtomakeitdifficuittoanaiyzethefunctioncaiireiati

5、onbyaddingfunctionpointerarray，atthesametimementionsamethodtotransformthecontroifiowtoincreasethecompiexityofthedatafiowandcontroifiowanaiysis.Sotheaccuracyoftheprogramanaiysisisdecreasedgreatiyandthetamperat-tackishardtoattainitspurpose.Keywordscodeobfuscation；functionpointer；controifiowtransfo

6、rmation计算方式的一个弱点是：移动代理在网络上迁移时，1引言恶意主机会对其程序进行有目的的篡改，以达到攻击其它主机的目的.有目的的篡改基于对程序的分在分布式系统中，移动代理是指那些能够自动析，防止这种阴谋得逞的一种办法是对程序进行代码［1］地从一台主机迁移到另一台主机，并代表其创建者迷惑（codeobfuscation），以增加程序分析的难度.在这些主机上执行某些任务的程序对象.基于移动代码迷惑技术是针对这种目的而产生的.原代代理可以形成一种全新的网络计算方式.但是，这种码（采用代码迷惑之前的程序代码）应用了代码迷收稿日期：2003-04-04；修改稿收到日期：2004-10-2

7、0.本课题得到国家自然科学基金（60173049）资助.李永祥，男，1975年生，博士研究生，研究方向为程序设计语言理论和实现技术、代码迷惑技术.陈意云，男，1946年生，教授，博士生导师，研究方向为形式描述技术及其应用、程序设计语言理论和实现技术、软件安全.E-maii：yiyun@ustc.edu.cn.12期李永祥等：基于函数指针数组的代码迷惑技术1707惑技术，可以变换为迷惑代码.由于代码迷惑技术是迷惑的算法；第3节则通过对程序的控制结