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