漏洞关键信息 标题: Microsoft Edge Chakra JIT - 'GlobOpt::OptTagChecks' Must Consider IsLoopPrePass Properly EDB-ID: 43183 CVE: 2017-11840 作者: GOOGLE SECURITY RESEARCH 类型: DOS 平台: WINDOWS 日期: 2017-11-27 漏洞应用: Microsoft Edge Chakra JIT 编译器 验证状态: EDB Verified 来源: https://bugs.chromium.org/p/project-zero/issues/detail?id=1365 漏洞描述 JIT 编译器在分析循环时会进行两次分析以正确跟踪类型。在第一次分析中，“IsLoopPrePass”返回 true，在第二次分析中返回 false。 但在上述代码片段中，当 "this->IsLoopPrePass()" 满足条件时，会发出 操作码。然而，"valueType.HasBeenNumber()" 的返回值在第二次分析中可能不同，这可能导致无法检测到类型变化。 PoC 标签 Tags: (未显示具体标签)