handler-inside.cc

Go to the documentation of this file.

// Copyright 2017 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
 
// PLEASE READ BEFORE CHANGING THIS FILE!
//
// This file implements the out of bounds trap handler for
// WebAssembly. Trap handlers are notoriously difficult to get
// right, and getting it wrong can lead to security
// vulnerabilities. In order to minimize this risk, here are some
// rules to follow.
//
// 1. Do not introduce any new external dependencies. This file needs
//    to be self contained so it is easy to audit everything that a
//    trap handler might do.
//
// 2. Any changes must be reviewed by someone from the crash reporting
//    or security team. See OWNERS for suggested reviewers.
//
// For more information, see https://goo.gl/yMeyUY.
//
// This file contains most of the code that actually runs in a trap handler
// context. Some additional code is used both inside and outside the trap
// handler. This code can be found in handler-shared.cc.
 
#include "src/trap-handler/trap-handler-internal.h"
#include "src/trap-handler/trap-handler.h"
 
namespace v8 {
namespace internal {
namespace trap_handler {
 
#if V8_TRAP_HANDLER_SUPPORTED
 
// This function contains the platform independent portions of fault
// classification.
bool IsFaultAddressCovered(uintptr_t fault_addr) {
  // TODO(eholk): broad code range check
 
  // Taking locks in the trap handler is risky because a fault in the trap
  // handler itself could lead to a deadlock when attempting to acquire the
  // lock again. We guard against this case with g_thread_in_wasm_code. The
  // lock may only be taken when not executing Wasm code (an assert in
  // MetadataLock's constructor ensures this). The trap handler will bail
  // out before trying to take the lock if g_thread_in_wasm_code is not set.
  MetadataLock lock_holder;
 
  for (size_t i = 0; i < gNumCodeObjects; ++i) {
    const CodeProtectionInfo* data = gCodeObjects[i].code_info;
    if (data == nullptr) {
      continue;
    }
    const uintptr_t base = data->base;
 
    if (fault_addr >= base && fault_addr < base + data->size) {
      // Hurray, we found the code object. Check for protected addresses.
      const uint32_t offset = static_cast<uint32_t>(fault_addr - base);
      // The offset must fit in 32 bit, see comment on
      // ProtectedInstructionData::instr_offset.
      TH_DCHECK(base + offset == fault_addr);
 
#ifdef V8_ENABLE_DRUMBRAKE
      // Ignore the protected instruction offsets if we are running in the Wasm
      // interpreter.
      if (data->num_protected_instructions == 0) {
        gRecoveredTrapCount.store(
            gRecoveredTrapCount.load(std::memory_order_relaxed) + 1,
            std::memory_order_relaxed);
        return true;
      }
#endif  // V8_ENABLE_DRUMBRAKE
 
      for (unsigned j = 0; j < data->num_protected_instructions; ++j) {
        if (data->instructions[j].instr_offset == offset) {
          // Hurray again, we found the actual instruction.
          gRecoveredTrapCount.store(
              gRecoveredTrapCount.load(std::memory_order_relaxed) + 1,
              std::memory_order_relaxed);
 
          return true;
        }
      }
    }
  }
  return false;
}
 
bool IsAccessedMemoryCovered(uintptr_t addr) {
  SandboxRecordsLock lock_holder;
 
  // Check if the access is inside a V8 sandbox (if it is enabled) as all Wasm
  // Memory objects must be located inside some sandbox.
  if (gSandboxRecordsHead == nullptr) {
    return true;
  }
 
  for (SandboxRecord* current = gSandboxRecordsHead; current != nullptr;
       current = current->next) {
    if (addr >= current->base && addr < (current->base + current->size)) {
      return true;
    }
  }
 
  return false;
}
#endif  // V8_TRAP_HANDLER_SUPPORTED
 
}  // namespace trap_handler
}  // namespace internal
}  // namespace v8