科研之友
微信
新浪微博
Facebook
分享链接
摘要
应用程序的常用功能仅占其所有功能的小部分。冗余功能代码造成应用程序攻击面扩大，增大代码重用攻击风险。二进制程序裁剪能够在分析应用程序二进制的基础上，识别并删除程序冗余代码，减小程序攻击面。现有二进制裁剪方法依赖人工构造的输入产生初始控制流，并依赖启发式方法扩展控制流图，导致方法健壮性和可扩展性受限。提出并实现了一种高健壮性二进制应用程序裁剪方法（RBdeb），使用黑盒模糊测试技术获取具有更高健壮性的合法执行轨迹集合，基于图同构算法自动分类相似库函数，提出的路径发现算法从初始执行轨迹构成的二进制控制流子图出发，扩展二进制控制流路径和同类库函数调用，生成高健壮性的裁剪结果二进制文件。实验结果表明，相比现有方案，RBdeb具有更高路径覆盖率和裁剪后二进制健壮性，路径发现算法和库分类方法具有更强的可扩展性，方法能够裁剪大规模实际应用程序。
- 单位
