子树类型敏感的JavaScript引擎灰盒测试技术  

Subtree Type Sensitive Greybox Testing Technique of JavaScript Engines

作　　者：王聪冲 甘水滔 王晓锋 WANG Congchong;GAN Shuitao;WANG Xiaofeng(School of Artificial Intelligence and Computer Science,Jiangnan University,Wuxi 214122,China;State Key of Laboratory of Mathematical Engineering and Advanced Computing,Wuxi 214083,China)

机构地区：[1]江南大学人工智能与计算机学院,无锡214122 [2]数字工程与先进计算国家重点实验室,无锡214083

出　　处：《信息安全学报》2021年第4期119-131,共13页Journal of Cyber Security

基　　金：国家自然科学基金项目(No.61672264,No.61972182);国家重点研发计划项目(No.2016YFB0800305)资助。

摘　　要：JavaScript引擎是浏览器的重要组成部分,很多攻击都针对Java Script引擎发起,业界对面向JavaScript引擎的漏洞挖掘技术一直展现出强烈的需求。本文提出一种面向JavaScript引擎的子树类型敏感灰盒测试技术,并且实现了系统ILS,在路径反馈的模糊测试框架上,通过对JavaScript代码的语法分析,构建子树类型敏感的变异策略,能够大幅提升测试种子的有效率,从而驱动更高的代码覆盖能力和漏洞发现能力。通过将ILS和多个主流JavaScript引擎漏洞挖掘工具Superion、CodeAlchemist进行性能对比,在Jerryscript、Chakra Core和JavaScriptCore等典型JavaScript引擎对象上的测试实验表明:ILS在24 h内,其种子测试有效率上提升36%,代码行覆盖率上能提升72%,代码函数覆盖率上能提升80%,漏洞发现效率上提升100%。最后,ILS在这3个JavaScript引擎总共发现26个未知Bug,并得到厂商的确认和修复。JavaScript engine is critical part of any browser.Many attacks of browser are launched from JavaScript engine that bringing strong demand to industry for vulnerability analysis of JavaScript engine.In this paper,we propose a new subtree type-sensitive gray box testing technology for JavaScript engine,and implement a prototype System that called ILS.Through designing a subtree type sensitive mutation strategy based on the path feedback fuzzing framework with syntax analysis on JavaScript code,ILS could greatly improve the effectiveness of test cases generation,that driving higher code coverage and vulnerability discovery capabilities.By comparing ILS with other typical tools Superion and CodeAlchemist on three familiar JavaScript engines(i.e.,Jerryscript,ChaKraCore and JavaScriptCore),ILS could reach 36%more seed generation efficiency,72%more line coverage,80%more function coverage,and find 100%more bugs in 24 hours.Moreover,ILS found 26 new bugs in this three JavaScript engines.

关 键 词：路径反馈 模糊测试 JAVASCRIPT引擎 抽象语法树 子树类型敏感 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]