一种基于控制流的污点分析方法

代伟; 刘洪

首页> 中文期刊> 《绵阳师范学院学报》 >一种基于控制流的污点分析方法

一种基于控制流的污点分析方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

污点分析是网络安全中的重要领域,将静态分析应用于动态污点分析,提出一种基于控制流图(CFG)的控制流污点传播方法.污点分析在遇到分支时,结合静态信息(如CFG和支配结点)将谓词的污点标记传播到分支块;并提出优化算法加强效率.本文实现了基于二进制代码的原形系统,并对真实程序进行了测试,实验结果表明该方法能有效传播谓词的污点到分支路径.

著录项

来源
《绵阳师范学院学报》 |2018年第8期|96-100|共5页
作者
代伟; 刘洪;
展开▼
作者单位

内江师范学院计算机科学学院,四川内江641112;

四川大学计算机学院,四川成都610065;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
污点分析; 静态分析; 控制流图; 分支;

相似文献

中文文献
外文文献
专利

1. 一种基于异常控制流的错误程序行为分析方法 [J] . 江建慧 ,吴捷程 ,孙亚 . 同济大学学报（自然科学版） . 2018,第007期
2. 一种面向Trace与漏洞验证的污点分析方法 [J] . 秦彪 ,郭帆 ,杨晨霞 . 计算机工程 . 2020,第005期
3. 一种粗细粒度结合的动态污点分析方法 [J] . 史大伟 ,袁天伟 . 计算机工程 . 2014,第003期
4. 一种多项式时间的路径敏感的污点分析方法 [J] . 李佳静 ,王铁磊 ,韦韬 . 计算机学报 . 2009,第009期
5. 控制流污点信息导向的符号执行技术研究 [J] . 黄晖 ,陆余良 ,刘林涛 . 中国科学技术大学学报 . 2016,第001期
6. 基于QEMU的二进制程序离线动态污点分析方法 [C] . MA Rui ,马锐 ,WANG Jiang . 第十届信息安全漏洞分析与风险评估大会 . 2017
7. 面向Jimple语言的基于依赖的污点分析方法设计与实现 [A] . 周轩 . 2015

一种基于控制流的污点分析方法

摘要

著录项

相似文献

相关主题

期刊订阅