软件学报

作者：袁平海,曾庆凯,张云剑,刘尧

单位：袁平海，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002311,曾庆凯，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002302,张云剑，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002303,刘尧，南京大学 计算机科学与技术系, 江苏 南京 210023;计算机软件新技术国家重点实验室(南京大学), 江苏 南京 21002304

关键词：网页浏览器;即时编译机制;即时返回导向编程;ROP(return-oriented programming) gadget注入;图灵完备计算

基金：国家自然科学基金（61572248，61431008，61321491）；国家科技支撑计划（2012BAK26B01）

即时编译机制（just-in-time compilation）改善了网页浏览器执行JavaScript脚本的性能，同时也为攻击者向浏览器进程注入恶意代码提供了便利.借助即时编译器，攻击者可以将脚本中的整型常数放置到动态代码缓存区，以便注入二进制恶意代码片段（称为gadget）.通过常数致盲等去毒化处理，基于常数的注入已经得到有效遏制.证实了不使用常数转而通过填充脚本代码块也能实施gadget注入，并实现图灵完备的计算功能.在编译一段给定的脚本代码时，即时编译器生成的动态代码中通常存在着一些固定的机器指令序列.这些指令序列的存在性不受常数致盲和地址空间布局随机化等安全机制的影响，同时，这些指令序列中可能蕴涵着攻击者期望的gadget.在实施攻击时，攻击者可以汇集特定的脚本代码块来构造一个攻击脚本，再借助即时编译器来注入gadget.在x86-64架构上评估了这种注入攻击在SpiderMonkey和GoogleV8这两个开源即时编译引擎上的可行性.通过给这两个引擎输入大量的JavaScript脚本，可以得到较为丰富的动态代码块.在这些动态代码块上的统计分析结果表明，这两个引擎生成的动态代码中都存在图灵完备的gadget集合.在实际攻击场景中，攻击者可以利用的脚本集合完全包含且远远多于实验用的脚本.因此，攻击者可以采用该方法注入需要的gadget，以便构造出实现任意功能的ROP（return-orientedprogramming）代码.

来源：2020年第2期

《软件学报》期刊编辑部

查看软件学报杂志2020年第2期