收藏本站
收藏 | 投稿 | 论文排版

基于渐进扩展的二进制程序数据流分析方法

潘家晔  庄毅  孙炳林  
【摘要】:二进制程序分析技术广泛应用于软件的安全性评估,恶意代码分析等领域.动态分析技术能够准确体现程序真实的运行状态,但面临目标程序运行负载过高、难以深入了解内部结构信息等挑战.提出一种基于渐进扩展的二进制程序数据流分析方法.方法旨在充分利用在线数据流分析的能力,在局部细粒度分析的基础上逐渐扩展分析范围,从而使分析能够覆盖整个目标程序.通过设计的分治策略,可降低对目标程序运行时的性能影响,从而可使对延迟敏感的目标代码段能成功地执行.并在此基础上,进一步提出基于内存引用关系的函数参数相关性分析方法,从函数调用层面获取数据流传递信息,可辅助恢复参数的内部结构信息.通过对大量真实案例进行研究和实验,验证了所提出方法的可行性与有效性,在降低对目标程序影响的同时未引入显著的额外分析开销,能够用于实际环境下二进制程序的分析.

知网文化
【相似文献】
中国期刊全文数据库 前18条
1 刘磊,叶晓煜;过程间的数据流分析技术[J];计算机研究与发展;1997年04期
2 刘晓锋;吴亚娟;李明东;曾宪华;;基于格的数据流分析框架研究[J];计算机工程与应用;2006年21期
3 刘晓锋,吴亚娟,李明东,曾宪华;编译系统中数据流分析研究[J];科技广场;2005年10期
4 姜淑娟;赵雪峰;;基于变量作用域的数据流分析[J];计算机科学;2012年03期
5 刘云龙,陈俊亮;基于数据流分析的软件容错策略[J];软件学报;1998年07期
6 唐发根,钱红兵;Ada软件数据流分析方法及其实现[J];北京航空航天大学学报;1997年01期
7 胡世亮,臧斌宇,凌冰,朱传琪;数据流分析中的区域覆盖技术[J];软件学报;2000年03期
8 于繁华,王胜峰;基于数据流分析的表达式优化[J];长春师范学院学报;2002年02期
9 张鸣华;全局数据流分析[J];计算机学报;1979年02期
10 孟奂;舒辉;;基于数据流分析的PLC恶意代码检测技术[J];信息工程大学学报;2017年05期
11 孔亦南;黄林鹏;;应用数据流分析法求解程序运行时信息相关问题的研究[J];计算机应用与软件;2007年02期
12 吴蓉,李剑慧,朱传琪;使用后向信息的动态数据流分析[J];计算机工程;2001年07期
13 程玉虎;刘博;王雪松;;基于径向基统计网络的数据流分析模型[J];控制与决策;2010年06期
14 刘海燕,宫云战,杨朝红;数据流分析[J];装甲兵工程学院学报;2000年03期
15 姜凡;庞建民;赵荣彩;任华;;优化的数组数据流分析技术的实现[J];计算机工程;2008年07期
16 孙昌爱;卫新洁;刘镇贤;宫云战;;DFSampling:一种数据流分析指导的变异体精简策略[J];软件学报;2022年09期
17 董玉坤;;基于符号约束集的条件表达式数据流分析[J];科学技术与工程;2018年07期
18 李淑宁;数据流分析在程序测试中的应用[J];小型微型计算机系统;1988年04期
中国重要会议论文全文数据库 前4条
1 宋国杰;唐世渭;杨冬青;王腾蛟;;数据流中异常模式的提取与趋势监测[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
2 张广梅;陈蕊;李晓维;;面向软件故障检测的数据流分析[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
3 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
中国博士学位论文全文数据库 前8条
1 吴珊珊;数据流频繁项挖掘及相关性分析算法的研究[D];浙江大学;2017年
2 王晓磊;面向移动应用的恶意行为检测技术研究[D];国防科技大学;2019年
3 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
4 章程;基于机器学习和程序分析相结合的程序调试技术研究[D];上海交通大学;2013年
5 苏亮;数据流分析关键技术研究[D];国防科学技术大学;2008年
6 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年
7 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
8 张广梅;软件测试与可靠性评估[D];中国科学院研究生院(计算技术研究所);2006年
中国硕士学位论文全文数据库 前20条
1 沈若也;一种全局数据流分析方法研究及实现[D];北京邮电大学;2018年
2 李宏韬;面向数据流贝叶斯分类的动态学习策略研究[D];北京交通大学;2018年
3 邢雨辰;用于程序验证的数据流分析技术的整合[D];南京大学;2013年
4 黄峰;概念漂移下的数据流异常点检测算法研究[D];电子科技大学;2017年
5 欧阳金彬;基于数据流分析的Android应用隐私泄露检测研究[D];南京大学;2017年
6 马成;基于互联网分布式节点的数据流分析系统的设计与实现[D];电子科技大学;2007年
7 李平华;过程间数据流分析技术研究[D];东南大学;2004年
8 方霞;代码逆向分析中的语句恢复与算法识别技术研究[D];解放军信息工程大学;2009年
9 徐慊;嵌入式控制软件逆向分析方法研究[D];西安电子科技大学;2013年
10 金莉;福建电信综合服务开通系统统一接口平台的设计与实现[D];清华大学;2009年
11 刘浩;ESP静态锁分析工具的Java实现[D];上海交通大学;2013年
12 李少春;基于源代码的全局溯源分析方法研究及实现[D];北京邮电大学;2020年
13 梁婕;一种静态代码安全分析系统的设计与实现[D];北京邮电大学;2008年
14 付小朋;共享资源声明的并行语言程序分析技术研究[D];中国科学技术大学;2010年
15 汪小飞;数据流分析技术研究与实例分析[D];国防科学技术大学;2007年
16 陈蕊;程序中不可达路径的识别及其在结构测试中的应用[D];中国科学院研究生院(计算技术研究所);2006年
17 陈璐璐;基于机器学习的代码缺陷自动确认方法研究及实现[D];北京邮电大学;2020年
18 高磊;基于STORM的数据流查询分析系统的设计与实现[D];哈尔滨工业大学;2017年
19 蔡纬政;自动化单元测试录制框架的研究与实现[D];华南理工大学;2010年
20 张滇;基于GCC的中间代码优化技术研究[D];哈尔滨理工大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978