一种基于辅助程序执行反馈的控制流构建方法及系统

文档序号:37045561发布日期:2024-02-20 20:40阅读:来源:国知局

技术特征:

1.一种基于辅助程序执行反馈的控制流构建系统,其特征在于:至少包括静态分析与插桩模块、模糊测试循环模块和检测模块:

2.一种基于辅助程序执行反馈的控制流构建方法,其特征在于:至少包括如下步骤:

3.如权利要求2所述的一种基于辅助程序执行反馈的控制流构建方法,其特征在于:所述步骤s1中,静态分析使用随机函数,为待测程序中每个基本块分配一个固定位的唯一编号,并按照对程序由模块到函数再到基本块级别的遍历顺序记录基本块索引与基本块唯一编号的对应关系,通过基本块之间静态分析得到的调用关系获得的控制流,结合基本块唯一编号预先计算所有程序中的跳转边,作为程序的静态分析控制流信息。

4.如权利要求2所述的一种基于辅助程序执行反馈的控制流构建方法,其特征在于:所述步骤s3中,模糊测试器不断执行不同的输入文件并在每次执行结束后查询共享内存,如果发现了所述共享内存中新的哈希值则说明当前输入文件发掘了新的边覆盖,开启辅助程序使用当前输入执行辅助二进制文件;如果没有捕获新的边覆盖,则使用模糊测试当前种子作为测试辅助二进制文件的替代。

5.如权利要求4所述的一种基于辅助程序执行反馈的控制流构建方法,其特征在于:所述步骤s1中边插桩以哈希函数hash1(bbidcurrent,bbidprevious)进行计算:

6.如权利要求5所述的一种基于辅助程序执行反馈的控制流构建方法,其特征在于:所述步骤s1中路径插桩以哈希函数hash2(bbidcurrent,pathhash)进行计算:


技术总结
本发明公开了一种基于辅助程序执行反馈的控制流构建方法及系统,使用静态分析方法对待测程序进行控制流分析形成程序控制流图,使用两种插桩代码分别编译待测程序,计算边的程序记录为主二进制文件,计算路径的程序记录为辅助二进制文件;使用模糊测试器不断执行主二进制文件并变异模糊测试的输入,同时开启辅助程序使用当前输入执行辅助二进制文件,根据辅助程序反馈的路径信息结合静态分析代码获得的程序控制流信息检测并补充程序控制流完整性。本方法以低时间开销的方式利用了辅助程序,实现了结合静态分析控制流图与动态执行分析的调用位置补充,兼顾了执行效率以挖掘更多潜在间接调用边,提升了程序控制流图的精确性与完整性。

技术研发人员:张玉健,金锡诚,汪苏桐,刘健,杨启胜
受保护的技术使用者:东南大学
技术研发日:
技术公布日:2024/2/19
当前第2页1 2 
网友询问留言 已有0条留言
  • 还没有人留言评论。精彩留言会获得点赞!
1