我能清晰看到符号执行：探究基于GUI的符号执行在软件漏洞发现中的有效性

文献标题

I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery

出版信息

• 主题领域: 评估基于GUI的界面对符号执行在漏洞发现中的影响。
• 关键词: 符号执行, GUI, 漏洞发现, 人因因素, 路径爆炸, 网络安全工具, 可用性, 软件测试, 逆向工程, API与GUI。

背景与问题

• 问题/挑战: 符号执行（SE）在软件漏洞发现中非常有效，但由于高计算需求（如路径爆炸）和可用性挑战，其应用受到限制。传统基于API的SE工具需要较高的专业知识，目前尚不清楚基于GUI的SE工具是否能改善可用性和性能。
• 重要性: 解决这些挑战可以使SE对网络安全专业人员更具可访问性和实用性，从而可能改善漏洞发现的结果。
• 动机与相关工作: 先前的研究主要集中于SE的算法改进，但很少关注可用性和人因因素。基于GUI的SE工具被提出以减少认知和操作负担，但其对专家工作流程和性能的影响尚未被探索。

解决方案

• 提出的方法: 进行对比实验，比较基于API和基于GUI的SE工具对专家工作流程和漏洞发现性能的影响。
• 创新点:
  1. 首次对基于GUI的SE工具在漏洞发现中的效果进行对照研究。
  2. 识别API用户与GUI用户在工作流程和性能上的差异。
  3. 基于实证研究提出改进GUI工具设计的建议。
  4. 提供关于SE工具可用性和人因因素的洞见。
• 过程与关键技术:
  • 招募了24名漏洞发现专家，并将其分配到使用基于API（angr）或基于GUI（angr-management）的SE工具的组。
  • 设计了一个基于CVE-2020-25632的真实漏洞发现任务，确保包含路径爆炸挑战。
  • 记录参与者的交互行为，分析工作流程，并比较性能指标（如任务成功率、耗时、路径优先级操作的有效性）。
  • 进行定性和定量分析以识别工作流程差异和可用性挑战。

结果

• 具体发现:
  • 使用GUI的参与者更有可能成功发现漏洞（4/11）相比于使用API的参与者（1/13）。
  • GUI参与者平均执行了更多的路径优先级操作（10.4次）相比于API参与者（4.86次）。
  • 成功完成任务时，GUI参与者耗时更短（73分钟 vs. API参与者的238分钟）。
  • 基于GUI的工具减少了上下文切换，并允许在执行中途进行调整，从而实现更高效的工作流程。
• 相较基线的优势:
  • 基于GUI的SE工具减少了认知和操作负担，使路径优先级操作更频繁且更高效。
  • GUI参与者更有效地迭代配置，且在任务中不易放弃。
• 实验/评估:
  • 参与者被随机分配到API或GUI工具组，并被要求发现一个堆内存破坏漏洞。
  • 数据收集包括屏幕录制、任务完成时间和SUS可用性评分。
  • GUI工具的可用性评分更高（SUS得分：53 vs. API工具的40）。
• 局限性与未来工作:
  • 研究仅聚焦于单一漏洞发现任务，尚未验证对其他任务或应用（如软件测试）的普适性。
  • 研究时间有限，无法探索长期工作流程。
  • GUI设计需要进一步改进以更好地支持路径优先级和漏洞分类。
  • 未来工作可包括功能消融测试、意图分析以及与基于CLI的SE工具的比较。

总结

本研究评估了基于GUI的符号执行工具对专家工作流程和漏洞发现性能的影响。基于GUI的工具减少了上下文切换，支持执行中途调整，并使参与者能够进行更多的路径优先级操作，从而实现更高的成功率和更快的任务完成时间。然而，GUI工具未能显著提高单次路径优先级操作的有效性，这表明其设计仍有改进空间。这些发现突显了基于GUI的SE工具在提升网络安全任务可用性和效率方面的潜力，并为工具开发者和研究人员提供了可操作的建议。