基于二进制代码的动态污点分析.pdfVIP

第31卷第8期 计 算 机 应 用 研 究 V0l_31No．8 2014牟8月 ApplicationResearchofComputers Aug．2014 基于二进制代码的动态污点分析木 代 伟 ，刘 智。，刘益和 (1．内江师范学院 计算机科学学院，四川 内江 641112；2．电子科技大学 计算机科学与工程学院，成都 611731) 摘 要：污点分析是安全领域一种重要 的动态分析技术。传统二进制代码级 的污点分析存在两个主要 问题 ： a)指令级的污点传播规则不准确；b)无法进入 内核函数 ，造成分析不准确 ，同时大量插桩函数内部指令影响系统 效率。为此提 出两种方法解决上述 问题。首先，按照污点传播语义制定准确的指令级传播规则；其次，设计函数 调用与退 出的污点处理规则，并利用函数摘要快速传播污点。采用动态插桩工具实现原型系统TaintIce，并对真 实漏洞攻击进行了测试。实验结果表 明，TaintIce能检测到传统污点分析无法检测到的攻击，并且性能得到提 升。因此提 出的技术可有效提高污点分析的检测效果与性能。 关键词：污点分析；x86指令 ；函数摘要 ；调用栈 中图分类号 ：TP309．2 文献标志码 ：A 文章编号 ：1001—3695(2014)08．2497—05 doi：10．3969／j．issn．1001．3695．2014．08．063 Binarycode—baseddynamictaintanalysis ， DAIWei，LIU Zhi。 LIU Yi．he ， (1．SchoolofComputerScience，NeijiangNormalUniversity，NeOiangSichuan641112，China；2．SchoolofComputerScience＆Engineering UniversityofElectronicScienceTechnologyofChina．Chengdu611731，China) Abstract：TaintanalysisiSanimportantdynamictechniqueinsecurity．Traditionaltaintanalysisonbinarycodehastwomajor drawbacks：a)instruction—levelpropagationrulesareinaccurate；b)beingunabletoenterkernelfunctionsleadstoanalysisinac- curacy．andsystem efficiencyisunderminedwithheavyinstrumentation．Thispaperproposedtwotechniquestoovercomeabove drawbacks．First，itmadeaccuratetaintpropagationrulesaccordingtopropagationsemantics．Second，itdesignedpropagation rulesonfunctionentry andexit，andusedfunctionsummarytofastpropagatetaintmark．Itimplementedaprototypesystem Taintlceusingdynamicinstrumentationtool，andevaluatedrealvulnerabilities．ExperimentresuhsshowTaintlcecandetectat— tacksthatcannotbedetectedbytraditionaltaintanal