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

• 作者: 冯晓兵 李丰 李炼 王蕾
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 污点分析 信息流分析 软件安全 静态分析与动态分析 Android Web
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 程序设计语言与系统前沿专题
• 页码范围: 860-882
• 页数: 23页
• 分类号: TP311
• 字数: 21191字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005190

摘要

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