污点分析技术的原理和实践应用

来源：软件学报杂志2017年第4期北京时间：

作者：王蕾,李丰,李炼,冯晓兵

单位：王蕾，计算机系统结构国家重点实验室(中国科学院 计算技术研究所), 北京 100190;中国科学院大学, 北京 10019011,李丰，计算机系统结构国家重点实验室(中国科学院 计算技术研究所), 北京 10019002,李炼，计算机系统结构国家重点实验室(中国科学院 计算技术研究所), 北京 10019003,冯晓兵，计算机系统结构国家重点实验室(中国科学院 计算技术研究所), 北京 10019004

摘要：信息流分析可以有效保证计算机系统中信息的保密性和完整性，污点分析作为其实践，被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述：首先，总结了污点分析的基本原理以及在应用中的通用技术，即，使用动态和静态的方法解决污点传播；随后，分析该技术在移动终端、互联网平台上的应用过程中遇到的问题和解决方案，包括解决Android应用隐私泄露与检测Web系统安全漏洞的污点分析技术；最后，展望该技术的研究前景和发展趋势.

关键词：污点分析;信息流分析;软件安全;静态分析与动态分析;Android;Web

基金资助：国家自然科学基金（61303053，61402303）