#binding-code

共收录 1 条相关安全情报。

← 返回所有主题
👥 作者: Peng Xu, Yanhao Wang, Hong Hu 0004, Purui Su

本文提出COOPER,一种用于测试脚本语言(如JavaScript)与低级语言(C/C++)之间绑定代码的协同变异方法。许多商业软件(如Adobe Acrobat)集成脚本语言以实现动态文件修改,但脚本与底层实现之间的绑定层因数据转换和表示形式而存在语义不一致和安全漏洞。现有测试方法仅关注脚本侧,忽略需要特殊程序本机输入的缺陷。COOPER通过协同变异同时生成脚本端输入和程序本机输入,以触发绑定代码中的不一致性,从而发现潜在漏洞。实验结果表明,COOPER能够有效检测出真实世界软件中隐藏的绑定缺陷,包括一些先前未发现的漏洞,证明了其在提高软件安全性方面的价值。该方法适用于任何使用脚本语言扩展功能的系统,特别是PDF解析器、浏览器插件等场景。

💡 推荐理由: 揭示了脚本语言与底层代码间绑定层的安全盲区,提供了一种针对性的自动化测试方法,有助于发现传统fuzzing遗漏的严重漏洞。

🎯 建议动作: 研究跟进

排序因子: 来自网络安全顶级会议 (+8) | Community 数据源 (+1) | LLM 评分加成 (+0.5)