动态污点分析中的隐式信息流分析方法研究

项目名称： 动态污点分析中的隐式信息流分析方法研究

项目编号： No.61170240

项目类型： 面上项目

立项/批准年度： 2012

项目学科： 自动化技术、计算机技术

项目作者： 梁彬

作者单位： 中国人民大学

项目金额： 56万元

中文摘要： 动态污点分析技术是近年来国际上的研究热点，目前存在的主要问题是：现有方法在隐式信息流的跟踪及度量方面有着很多不足，不同程度地存在着由于缺乏隐式信息流分析或分析不够全面所导致的漏标识问题（Under-tainting）；及由于缺乏较为精确的信息流信息传输能力度量所导致的过标识问题（Over-tainting/Taint Spread）。本项目拟引入信息论的思想方法，基于对控制流信息的重构和隐式信息流信息传输能力定量度量等关键基本问题的研究，提出能有效支持隐式信息流分析的污点传播机制，有效克服现有方法的不足，较好地解决动态污点分析中的Under-tainting问题和Over-tainting/Taint Spread问题，发展出能够支持路径敏感分析的、具有较高精度的隐式信息流跟踪分析技术。此外，还将基于项目研究成果，实现一个能够直接应用于分析实践的动态污点分析框架原型，支持实际的分析工作。

中文关键词： 动态污点分析；隐式信息流；安卓；检测；

英文摘要：

英文关键词： dynamic taint analysis；implicit information flow；Android；detection；