一种基于区域概率可达性的二进制定向灰盒模糊测试方法及系统

本发明公开一种基于区域概率可达性的二进制定向灰盒模糊测试方法及系统，该方法步骤包括：步骤S1.根据二进制文件的内存布局特征恢复潜在缺失的间接边；步骤S2.为每条间接边获得匹配相似度分数并作为对应的先验概率，计算各间接边的准确性概率；步骤S3.根据可达性受间接边影响的程度聚类成不同的区域，构建区域图；步骤S4.根据各间接边的被正确恢复的概率计算区域内深度以及区域间连通性，计算每条路径的概率性可达性评分；步骤S5.根据每条路径的概率性可达性评分对模糊测试进行优化配置。本发明能够有效实现二进制条件下基于可达性分析的定向模糊测试，在控制流图动态变化时自适应调整测试策略，平衡测试的效率与精度。