// Copyright 2012 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.

#include "src/debug/debug.h"

#include <memory>

#include <unordered_set>

#include "src/api/api-inl.h"

#include "src/api/api-natives.h"

#include "src/base/platform/mutex.h"

#include "src/builtins/builtins.h"

#include "src/codegen/assembler-inl.h"

#include "src/codegen/compilation-cache.h"

#include "src/codegen/compiler.h"

#include "src/common/globals.h"

#include "src/common/message-template.h"

#include "src/debug/debug-evaluate.h"

#include "src/debug/liveedit.h"

#include "src/deoptimizer/deoptimizer.h"

#include "src/execution/arguments.h"

#include "src/execution/execution.h"

#include "src/execution/frames-inl.h"

#include "src/execution/isolate-inl.h"

#include "src/execution/v8threads.h"

#include "src/handles/global-handles.h"

#include "src/heap/heap-inl.h" // For NextDebuggingId.

#include "src/init/bootstrapper.h"

#include "src/interpreter/bytecode-array-accessor.h"

#include "src/interpreter/bytecode-array-iterator.h"

#include "src/interpreter/interpreter.h"

#include "src/logging/counters.h"

#include "src/objects/api-callbacks-inl.h"

#include "src/objects/debug-objects-inl.h"

#include "src/objects/js-generator-inl.h"

#include "src/objects/js-promise-inl.h"

#include "src/objects/slots.h"

#include "src/snapshot/snapshot.h"

#include "src/wasm/wasm-debug.h"

#include "src/wasm/wasm-objects-inl.h"

namespace v8 {

namespace internal {

class Debug::TemporaryObjectsTracker : public HeapObjectAllocationTracker {

public:

TemporaryObjectsTracker() = default;

~TemporaryObjectsTracker() override = default;

void AllocationEvent(Address addr, int) override { objects_.insert(addr); }

void MoveEvent(Address from, Address to, int) override {

if (from == to) return;

base::MutexGuard guard(&mutex_);

auto it = objects_.find(from);

if (it == objects_.end()) {

// If temporary object was collected we can get MoveEvent which moves

// existing non temporary object to the address where we had temporary

// object. So we should mark new address as non temporary.

objects_.erase(to);

return;

}

objects_.erase(it);

objects_.insert(to);

}

bool HasObject(Handle<HeapObject> obj) const {

if (obj->IsJSObject() &&

Handle<JSObject>::cast(obj)->GetEmbedderFieldCount()) {

// Embedder may store any pointers using embedder fields and implements

// non trivial logic, e.g. create wrappers lazily and store pointer to

// native object inside embedder field. We should consider all objects

// with embedder fields as non temporary.

return false;

}

return objects_.find(obj->address()) != objects_.end();

}

private:

std::unordered_set<Address> objects_;

base::Mutex mutex_;

DISALLOW_COPY_AND_ASSIGN(TemporaryObjectsTracker);

};

Debug::Debug(Isolate* isolate)

: is_active_(false),

hook_on_function_call_(false),

is_suppressed_(false),

break_disabled_(false),

break_points_active_(true),

break_on_exception_(false),

break_on_uncaught_exception_(false),

side_effect_check_failed_(false),

debug_info_list_(nullptr),

feature_tracker_(isolate),

isolate_(isolate) {

ThreadInit();

}

Debug::~Debug() { DCHECK_NULL(debug_delegate_); }

BreakLocation BreakLocation::FromFrame(Handle<DebugInfo> debug_info,

JavaScriptFrame* frame) {

if (debug_info->CanBreakAtEntry()) {

return BreakLocation(Debug::kBreakAtEntryPosition, DEBUG_BREAK_AT_ENTRY);

}

auto summary = FrameSummary::GetTop(frame).AsJavaScript();

int offset = summary.code_offset();

Handle<AbstractCode> abstract_code = summary.abstract_code();

BreakIterator it(debug_info);

it.SkipTo(BreakIndexFromCodeOffset(debug_info, abstract_code, offset));

return it.GetBreakLocation();

}

void BreakLocation::AllAtCurrentStatement(

Handle<DebugInfo> debug_info, JavaScriptFrame* frame,

std::vector<BreakLocation>* result_out) {

DCHECK(!debug_info->CanBreakAtEntry());

auto summary = FrameSummary::GetTop(frame).AsJavaScript();

int offset = summary.code_offset();

Handle<AbstractCode> abstract_code = summary.abstract_code();

if (abstract_code->IsCode()) offset = offset - 1;

int statement_position;

{

BreakIterator it(debug_info);

it.SkipTo(BreakIndexFromCodeOffset(debug_info, abstract_code, offset));

statement_position = it.statement_position();

}

for (BreakIterator it(debug_info); !it.Done(); it.Next()) {

if (it.statement_position() == statement_position) {

result_out->push_back(it.GetBreakLocation());

}

}

}

JSGeneratorObject BreakLocation::GetGeneratorObjectForSuspendedFrame(

JavaScriptFrame* frame) const {

DCHECK(IsSuspend());

DCHECK_GE(generator_obj_reg_index_, 0);

Object generator_obj = InterpretedFrame::cast(frame)->ReadInterpreterRegister(

generator_obj_reg_index_);

return JSGeneratorObject::cast(generator_obj);

}

int BreakLocation::BreakIndexFromCodeOffset(Handle<DebugInfo> debug_info,

Handle<AbstractCode> abstract_code,

int offset) {

// Run through all break points to locate the one closest to the address.

int closest_break = 0;

int distance = kMaxInt;

DCHECK(0 <= offset && offset < abstract_code->Size());

for (BreakIterator it(debug_info); !it.Done(); it.Next()) {

// Check if this break point is closer that what was previously found.

if (it.code_offset() <= offset && offset - it.code_offset() < distance) {

closest_break = it.break_index();

distance = offset - it.code_offset();

// Check whether we can't get any closer.

if (distance == 0) break;

}

}

return closest_break;

}

bool BreakLocation::HasBreakPoint(Isolate* isolate,

Handle<DebugInfo> debug_info) const {

// First check whether there is a break point with the same source position.

if (!debug_info->HasBreakPoint(isolate, position_)) return false;

if (debug_info->CanBreakAtEntry()) {

DCHECK_EQ(Debug::kBreakAtEntryPosition, position_);

return debug_info->BreakAtEntry();

} else {

// Then check whether a break point at that source position would have

// the same code offset. Otherwise it's just a break location that we can

// step to, but not actually a location where we can put a break point.

DCHECK(abstract_code_->IsBytecodeArray());

BreakIterator it(debug_info);

it.SkipToPosition(position_);

return it.code_offset() == code_offset_;

}

}

debug::BreakLocationType BreakLocation::type() const {

switch (type_) {

case DEBUGGER_STATEMENT:

return debug::kDebuggerStatementBreakLocation;

case DEBUG_BREAK_SLOT_AT_CALL:

return debug::kCallBreakLocation;

case DEBUG_BREAK_SLOT_AT_RETURN:

return debug::kReturnBreakLocation;

// Externally, suspend breaks should look like normal breaks.

case DEBUG_BREAK_SLOT_AT_SUSPEND:

default:

return debug::kCommonBreakLocation;

}

}

BreakIterator::BreakIterator(Handle<DebugInfo> debug_info)

: debug_info_(debug_info),

break_index_(-1),

source_position_iterator_(

debug_info->DebugBytecodeArray().SourcePositionTable()) {

position_ = debug_info->shared().StartPosition();

statement_position_ = position_;

// There is at least one break location.

DCHECK(!Done());

Next();

}

int BreakIterator::BreakIndexFromPosition(int source_position) {

int distance = kMaxInt;

int closest_break = break_index();

while (!Done()) {

int next_position = position();

if (source_position <= next_position &&

next_position - source_position < distance) {

closest_break = break_index();

distance = next_position - source_position;

// Check whether we can't get any closer.

if (distance == 0) break;

}

Next();

}

return closest_break;

}

void BreakIterator::Next() {

DisallowHeapAllocation no_gc;

DCHECK(!Done());

bool first = break_index_ == -1;

while (!Done()) {

if (!first) source_position_iterator_.Advance();

first = false;

if (Done()) return;

position_ = source_position_iterator_.source_position().ScriptOffset();

if (source_position_iterator_.is_statement()) {

statement_position_ = position_;

}

DCHECK_LE(0, position_);

DCHECK_LE(0, statement_position_);

DebugBreakType type = GetDebugBreakType();

if (type != NOT_DEBUG_BREAK) break;

}

break_index_++;

}

DebugBreakType BreakIterator::GetDebugBreakType() {

BytecodeArray bytecode_array = debug_info_->OriginalBytecodeArray();

interpreter::Bytecode bytecode =

interpreter::Bytecodes::FromByte(bytecode_array.get(code_offset()));

// Make sure we read the actual bytecode, not a prefix scaling bytecode.

if (interpreter::Bytecodes::IsPrefixScalingBytecode(bytecode)) {

bytecode =

interpreter::Bytecodes::FromByte(bytecode_array.get(code_offset() + 1));

}

if (bytecode == interpreter::Bytecode::kDebugger) {

return DEBUGGER_STATEMENT;

} else if (bytecode == interpreter::Bytecode::kReturn) {

return DEBUG_BREAK_SLOT_AT_RETURN;

} else if (bytecode == interpreter::Bytecode::kSuspendGenerator) {

return DEBUG_BREAK_SLOT_AT_SUSPEND;

} else if (interpreter::Bytecodes::IsCallOrConstruct(bytecode)) {

return DEBUG_BREAK_SLOT_AT_CALL;

} else if (source_position_iterator_.is_statement()) {

return DEBUG_BREAK_SLOT;

} else {

return NOT_DEBUG_BREAK;

}

}

void BreakIterator::SkipToPosition(int position) {

BreakIterator it(debug_info_);

SkipTo(it.BreakIndexFromPosition(position));

}

void BreakIterator::SetDebugBreak() {

DebugBreakType debug_break_type = GetDebugBreakType();

if (debug_break_type == DEBUGGER_STATEMENT) return;

HandleScope scope(isolate());

DCHECK(debug_break_type >= DEBUG_BREAK_SLOT);

Handle<BytecodeArray> bytecode_array(debug_info_->DebugBytecodeArray(),

isolate());

interpreter::BytecodeArrayAccessor(bytecode_array, code_offset())

.ApplyDebugBreak();

}

void BreakIterator::ClearDebugBreak() {

DebugBreakType debug_break_type = GetDebugBreakType();

if (debug_break_type == DEBUGGER_STATEMENT) return;

DCHECK(debug_break_type >= DEBUG_BREAK_SLOT);

BytecodeArray bytecode_array = debug_info_->DebugBytecodeArray();

BytecodeArray original = debug_info_->OriginalBytecodeArray();

bytecode_array.set(code_offset(), original.get(code_offset()));

}

BreakLocation BreakIterator::GetBreakLocation() {

Handle<AbstractCode> code(

AbstractCode::cast(debug_info_->DebugBytecodeArray()), isolate());

DebugBreakType type = GetDebugBreakType();

int generator_object_reg_index = -1;

if (type == DEBUG_BREAK_SLOT_AT_SUSPEND) {

// For suspend break, we'll need the generator object to be able to step

// over the suspend as if it didn't return. We get the interpreter register

// index that holds the generator object by reading it directly off the

// bytecode array, and we'll read the actual generator object off the

// interpreter stack frame in GetGeneratorObjectForSuspendedFrame.

BytecodeArray bytecode_array = debug_info_->OriginalBytecodeArray();

interpreter::BytecodeArrayAccessor accessor(

handle(bytecode_array, isolate()), code_offset());

DCHECK_EQ(accessor.current_bytecode(),

interpreter::Bytecode::kSuspendGenerator);

interpreter::Register generator_obj_reg = accessor.GetRegisterOperand(0);

generator_object_reg_index = generator_obj_reg.index();

}

return BreakLocation(code, type, code_offset(), position_,

generator_object_reg_index);

}

Isolate* BreakIterator::isolate() { return debug_info_->GetIsolate(); }

void DebugFeatureTracker::Track(DebugFeatureTracker::Feature feature) {

uint32_t mask = 1 << feature;

// Only count one sample per feature and isolate.

if (bitfield_ & mask) return;

isolate_->counters()->debug_feature_usage()->AddSample(feature);

bitfield_ |= mask;

}

// Threading support.

void Debug::ThreadInit() {

thread_local_.break_frame_id_ = StackFrameId::NO_ID;

thread_local_.last_step_action_ = StepNone;

thread_local_.last_statement_position_ = kNoSourcePosition;

thread_local_.last_frame_count_ = -1;

thread_local_.fast_forward_to_return_ = false;

thread_local_.ignore_step_into_function_ = Smi::zero();

thread_local_.target_frame_count_ = -1;

thread_local_.return_value_ = Smi::zero();

thread_local_.last_breakpoint_id_ = 0;

clear_suspended_generator();

thread_local_.restart_fp_ = kNullAddress;

base::Relaxed_Store(&thread_local_.current_debug_scope_,

static_cast<base::AtomicWord>(0));

thread_local_.break_on_next_function_call_ = false;

UpdateHookOnFunctionCall();

}

char* Debug::ArchiveDebug(char* storage) {

MemCopy(storage, reinterpret_cast<char*>(&thread_local_),

ArchiveSpacePerThread());

return storage + ArchiveSpacePerThread();

}

char* Debug::RestoreDebug(char* storage) {

MemCopy(reinterpret_cast<char*>(&thread_local_), storage,

ArchiveSpacePerThread());

// Enter the debugger.

DebugScope debug_scope(this);

// Clear any one-shot breakpoints that may have been set by the other

// thread, and reapply breakpoints for this thread.

ClearOneShot();

if (thread_local_.last_step_action_ != StepNone) {

// Reset the previous step action for this thread.

PrepareStep(thread_local_.last_step_action_);

}

return storage + ArchiveSpacePerThread();

}

int Debug::ArchiveSpacePerThread() { return sizeof(ThreadLocal); }

void Debug::Iterate(RootVisitor* v) {

v->VisitRootPointer(Root::kDebug, nullptr,

FullObjectSlot(&thread_local_.return_value_));

v->VisitRootPointer(Root::kDebug, nullptr,

FullObjectSlot(&thread_local_.suspended_generator_));

v->VisitRootPointer(

Root::kDebug, nullptr,

FullObjectSlot(&thread_local_.ignore_step_into_function_));

}

DebugInfoListNode::DebugInfoListNode(Isolate* isolate, DebugInfo debug_info)

: next_(nullptr) {

// Globalize the request debug info object and make it weak.

GlobalHandles* global_handles = isolate->global_handles();

debug_info_ = global_handles->Create(debug_info).location();

}

DebugInfoListNode::~DebugInfoListNode() {

if (debug_info_ == nullptr) return;

GlobalHandles::Destroy(debug_info_);

debug_info_ = nullptr;

}

void Debug::Unload() {

ClearAllBreakPoints();

ClearStepping();

RemoveAllCoverageInfos();

ClearAllDebuggerHints();

debug_delegate_ = nullptr;

}

void Debug::Break(JavaScriptFrame* frame, Handle<JSFunction> break_target) {

// Initialize LiveEdit.

LiveEdit::InitializeThreadLocal(this);

// Just continue if breaks are disabled or debugger cannot be loaded.

if (break_disabled()) return;

// Enter the debugger.

DebugScope debug_scope(this);

DisableBreak no_recursive_break(this);

// Return if we fail to retrieve debug info.

Handle<SharedFunctionInfo> shared(break_target->shared(), isolate_);

if (!EnsureBreakInfo(shared)) return;

PrepareFunctionForDebugExecution(shared);

Handle<DebugInfo> debug_info(shared->GetDebugInfo(), isolate_);

// Find the break location where execution has stopped.

BreakLocation location = BreakLocation::FromFrame(debug_info, frame);

// Find actual break points, if any, and trigger debug break event.

MaybeHandle<FixedArray> break_points_hit =

CheckBreakPoints(debug_info, &location);

if (!break_points_hit.is_null() || break_on_next_function_call()) {

// Clear all current stepping setup.

ClearStepping();

// Notify the debug event listeners.

OnDebugBreak(!break_points_hit.is_null()

? break_points_hit.ToHandleChecked()

: isolate_->factory()->empty_fixed_array());

return;

}

// Debug break at function entry, do not worry about stepping.

if (location.IsDebugBreakAtEntry()) {

DCHECK(debug_info->BreakAtEntry());

return;

}

DCHECK_NOT_NULL(frame);

// No break point. Check for stepping.

StepAction step_action = last_step_action();

int current_frame_count = CurrentFrameCount();

int target_frame_count = thread_local_.target_frame_count_;

int last_frame_count = thread_local_.last_frame_count_;

// StepOut at not return position was requested and return break locations

// were flooded with one shots.

if (thread_local_.fast_forward_to_return_) {

DCHECK(location.IsReturnOrSuspend());

// We have to ignore recursive calls to function.

if (current_frame_count > target_frame_count) return;

ClearStepping();

PrepareStep(StepOut);

return;

}

bool step_break = false;

switch (step_action) {

case StepNone:

return;

case StepOut:

// Step out should not break in a deeper frame than target frame.

if (current_frame_count > target_frame_count) return;

step_break = true;

break;

case StepNext:

// Step next should not break in a deeper frame than target frame.

if (current_frame_count > target_frame_count) return;

V8_FALLTHROUGH;

case StepIn: {

// Special case "next" and "in" for generators that are about to suspend.

if (location.IsSuspend()) {

DCHECK(!has_suspended_generator());

thread_local_.suspended_generator_ =

location.GetGeneratorObjectForSuspendedFrame(frame);

ClearStepping();

return;

}

FrameSummary summary = FrameSummary::GetTop(frame);

step_break = step_break || location.IsReturn() ||

current_frame_count != last_frame_count ||

thread_local_.last_statement_position_ !=

summary.SourceStatementPosition();

break;

}

}

// Clear all current stepping setup.

ClearStepping();

if (step_break) {

// Notify the debug event listeners.

OnDebugBreak(isolate_->factory()->empty_fixed_array());

} else {

// Re-prepare to continue.

PrepareStep(step_action);

}

}

// Find break point objects for this location, if any, and evaluate them.

// Return an array of break point objects that evaluated true, or an empty

// handle if none evaluated true.

MaybeHandle<FixedArray> Debug::CheckBreakPoints(Handle<DebugInfo> debug_info,

BreakLocation* location,

bool* has_break_points) {

bool has_break_points_to_check =

break_points_active_ && location->HasBreakPoint(isolate_, debug_info);

if (has_break_points) *has_break_points = has_break_points_to_check;

if (!has_break_points_to_check) return {};

return Debug::GetHitBreakPoints(debug_info, location->position());

}

bool Debug::IsMutedAtCurrentLocation(JavaScriptFrame* frame) {

HandleScope scope(isolate_);

// A break location is considered muted if break locations on the current

// statement have at least one break point, and all of these break points

// evaluate to false. Aside from not triggering a debug break event at the

// break location, we also do not trigger one for debugger statements, nor

// an exception event on exception at this location.

FrameSummary summary = FrameSummary::GetTop(frame);

DCHECK(!summary.IsWasm());

Handle<JSFunction> function = summary.AsJavaScript().function();

if (!function->shared().HasBreakInfo()) return false;

Handle<DebugInfo> debug_info(function->shared().GetDebugInfo(), isolate_);

// Enter the debugger.

DebugScope debug_scope(this);

std::vector<BreakLocation> break_locations;

BreakLocation::AllAtCurrentStatement(debug_info, frame, &break_locations);

bool has_break_points_at_all = false;

for (size_t i = 0; i < break_locations.size(); i++) {

bool has_break_points;

MaybeHandle<FixedArray> check_result =

CheckBreakPoints(debug_info, &break_locations[i], &has_break_points);

has_break_points_at_all |= has_break_points;

if (has_break_points && !check_result.is_null()) return false;

}

return has_break_points_at_all;

}

// Check whether a single break point object is triggered.

bool Debug::CheckBreakPoint(Handle<BreakPoint> break_point,

bool is_break_at_entry) {

HandleScope scope(isolate_);

if (!break_point->condition().length()) return true;

Handle<String> condition(break_point->condition(), isolate_);

MaybeHandle<Object> maybe_result;

Handle<Object> result;

if (is_break_at_entry) {

maybe_result = DebugEvaluate::WithTopmostArguments(isolate_, condition);

} else {

// Since we call CheckBreakpoint only for deoptimized frame on top of stack,

// we can use 0 as index of inlined frame.

const int inlined_jsframe_index = 0;

const bool throw_on_side_effect = false;

maybe_result =

DebugEvaluate::Local(isolate_, break_frame_id(), inlined_jsframe_index,

condition, throw_on_side_effect);

}

if (!maybe_result.ToHandle(&result)) {

if (isolate_->has_pending_exception()) {

isolate_->clear_pending_exception();

}

return false;

}

return result->BooleanValue(isolate_);

}

bool Debug::SetBreakpoint(Handle<SharedFunctionInfo> shared,

Handle<BreakPoint> break_point,

int* source_position) {

HandleScope scope(isolate_);

// Make sure the function is compiled and has set up the debug info.

if (!EnsureBreakInfo(shared)) return false;

PrepareFunctionForDebugExecution(shared);

Handle<DebugInfo> debug_info(shared->GetDebugInfo(), isolate_);

// Source positions starts with zero.

DCHECK_LE(0, *source_position);

// Find the break point and change it.

*source_position = FindBreakablePosition(debug_info, *source_position);

DebugInfo::SetBreakPoint(isolate_, debug_info, *source_position, break_point);

// At least one active break point now.

DCHECK_LT(0, debug_info->GetBreakPointCount(isolate_));

ClearBreakPoints(debug_info);

ApplyBreakPoints(debug_info);

feature_tracker()->Track(DebugFeatureTracker::kBreakPoint);

return true;

}

bool Debug::SetBreakPointForScript(Handle<Script> script,

Handle<String> condition,

int* source_position, int* id) {

*id = ++thread_local_.last_breakpoint_id_;

Handle<BreakPoint> break_point =

isolate_->factory()->NewBreakPoint(*id, condition);

if (script->type() == Script::TYPE_WASM) {

RecordWasmScriptWithBreakpoints(script);

return WasmScript::SetBreakPoint(script, source_position, break_point);

}

HandleScope scope(isolate_);

// Obtain shared function info for the function.

Handle<Object> result =

FindSharedFunctionInfoInScript(script, *source_position);

if (result->IsUndefined(isolate_)) return false;

// Make sure the function has set up the debug info.

Handle<SharedFunctionInfo> shared = Handle<SharedFunctionInfo>::cast(result);

if (!EnsureBreakInfo(shared)) return false;

PrepareFunctionForDebugExecution(shared);

// Find position within function. The script position might be before the

// source position of the first function.

if (shared->StartPosition() > *source_position) {

*source_position = shared->StartPosition();

}

Handle<DebugInfo> debug_info(shared->GetDebugInfo(), isolate_);

// Find breakable position returns first breakable position after

// *source_position, it can return 0 if no break location is found after

// *source_position.

int breakable_position = FindBreakablePosition(debug_info, *source_position);

if (breakable_position < *source_position) return false;

*source_position = breakable_position;

DebugInfo::SetBreakPoint(isolate_, debug_info, *source_position, break_point);

// At least one active break point now.

DCHECK_LT(0, debug_info->GetBreakPointCount(isolate_));

ClearBreakPoints(debug_info);

ApplyBreakPoints(debug_info);

feature_tracker()->Track(DebugFeatureTracker::kBreakPoint);

return true;

}

int Debug::FindBreakablePosition(Handle<DebugInfo> debug_info,

int source_position) {

if (debug_info->CanBreakAtEntry()) {

return kBreakAtEntryPosition;

} else {

DCHECK(debug_info->HasInstrumentedBytecodeArray());

BreakIterator it(debug_info);

it.SkipToPosition(source_position);

return it.position();

}

}

void Debug::ApplyBreakPoints(Handle<DebugInfo> debug_info) {

DisallowHeapAllocation no_gc;

if (debug_info->CanBreakAtEntry()) {

debug_info->SetBreakAtEntry();

} else {

if (!debug_info->HasInstrumentedBytecodeArray()) return;

FixedArray break_points = debug_info->break_points();

for (int i = 0; i < break_points.length(); i++) {

if (break_points.get(i).IsUndefined(isolate_)) continue;

BreakPointInfo info = BreakPointInfo::cast(break_points.get(i));

if (info.GetBreakPointCount(isolate_) == 0) continue;

DCHECK(debug_info->HasInstrumentedBytecodeArray());

BreakIterator it(debug_info);

it.SkipToPosition(info.source_position());

it.SetDebugBreak();

}

}

debug_info->SetDebugExecutionMode(DebugInfo::kBreakpoints);

}

void Debug::ClearBreakPoints(Handle<DebugInfo> debug_info) {

if (debug_info->CanBreakAtEntry()) {

debug_info->ClearBreakAtEntry();

} else {

// If we attempt to clear breakpoints but none exist, simply return. This

// can happen e.g. CoverageInfos exist but no breakpoints are set.

if (!debug_info->HasInstrumentedBytecodeArray() ||

!debug_info->HasBreakInfo()) {

return;

}

DisallowHeapAllocation no_gc;

for (BreakIterator it(debug_info); !it.Done(); it.Next()) {

it.ClearDebugBreak();

}

}

}

void Debug::ClearBreakPoint(Handle<BreakPoint> break_point) {

HandleScope scope(isolate_);

for (DebugInfoListNode* node = debug_info_list_; node != nullptr;

node = node->next()) {

if (!node->debug_info()->HasBreakInfo()) continue;

Handle<Object> result = DebugInfo::FindBreakPointInfo(

isolate_, node->debug_info(), break_point);

if (result->IsUndefined(isolate_)) continue;

Handle<DebugInfo> debug_info = node->debug_info();

if (DebugInfo::ClearBreakPoint(isolate_, debug_info, break_point)) {

ClearBreakPoints(debug_info);

if (debug_info->GetBreakPointCount(isolate_) == 0) {

RemoveBreakInfoAndMaybeFree(debug_info);

} else {

ApplyBreakPoints(debug_info);

}

return;

}

}

}

int Debug::GetFunctionDebuggingId(Handle<JSFunction> function) {

Handle<SharedFunctionInfo> shared = handle(function->shared(), isolate_);

Handle<DebugInfo> debug_info = GetOrCreateDebugInfo(shared);

int id = debug_info->debugging_id();

if (id == DebugInfo::kNoDebuggingId) {

id = isolate_->heap()->NextDebuggingId();

debug_info->set_debugging_id(id);

}

return id;

}

bool Debug::SetBreakpointForFunction(Handle<SharedFunctionInfo> shared,

Handle<String> condition, int* id) {

*id = ++thread_local_.last_breakpoint_id_;

Handle<BreakPoint> breakpoint =

isolate_->factory()->NewBreakPoint(*id, condition);

int source_position = 0;

// Handle wasm function.

if (shared->HasWasmExportedFunctionData()) {

int func_index = shared->wasm_exported_function_data().function_index();

Handle<WasmInstanceObject> wasm_instance(

shared->wasm_exported_function_data().instance(), isolate_);

Handle<Script> script(Script::cast(wasm_instance->module_object().script()),

isolate_);

return WasmScript::SetBreakPointOnFirstBreakableForFunction(

script, func_index, breakpoint);

}

return SetBreakpoint(shared, breakpoint, &source_position);

}

void Debug::RemoveBreakpoint(int id) {

Handle<BreakPoint> breakpoint = isolate_->factory()->NewBreakPoint(

id, isolate_->factory()->empty_string());

ClearBreakPoint(breakpoint);

}

void Debug::RemoveBreakpointForWasmScript(Handle<Script> script, int id) {

if (script->type() == Script::TYPE_WASM) {

WasmScript::ClearBreakPointById(script, id);

}

}

void Debug::RecordWasmScriptWithBreakpoints(Handle<Script> script) {

if (wasm_scripts_with_breakpoints_.is_null()) {

Handle<WeakArrayList> new_list = isolate_->factory()->NewWeakArrayList(4);

wasm_scripts_with_breakpoints_ =

isolate_->global_handles()->Create(*new_list);

}

{

DisallowHeapAllocation no_gc;

for (int idx = wasm_scripts_with_breakpoints_->length() - 1; idx >= 0;

--idx) {

HeapObject wasm_script;

if (wasm_scripts_with_breakpoints_->Get(idx).GetHeapObject(

&wasm_script) &&

wasm_script == *script) {

return;

}

}

}

Handle<WeakArrayList> new_list = WeakArrayList::Append(

isolate_, wasm_scripts_with_breakpoints_, MaybeObjectHandle{script});

if (*new_list != *wasm_scripts_with_breakpoints_) {

isolate_->global_handles()->Destroy(

wasm_scripts_with_breakpoints_.location());

wasm_scripts_with_breakpoints_ =

isolate_->global_handles()->Create(*new_list);

}

}

// Clear out all the debug break code.

void Debug::ClearAllBreakPoints() {

ClearAllDebugInfos([=](Handle<DebugInfo> info) {

ClearBreakPoints(info);

info->ClearBreakInfo(isolate_);

});

// Clear all wasm breakpoints.

if (!wasm_scripts_with_breakpoints_.is_null()) {

DisallowHeapAllocation no_gc;

for (int idx = wasm_scripts_with_breakpoints_->length() - 1; idx >= 0;

--idx) {

HeapObject raw_wasm_script;

if (wasm_scripts_with_breakpoints_->Get(idx).GetHeapObject(

&raw_wasm_script)) {

Script wasm_script = Script::cast(raw_wasm_script);

WasmScript::ClearAllBreakpoints(wasm_script);

wasm_script.wasm_native_module()->GetDebugInfo()->RemoveIsolate(

isolate_);

}

}

wasm_scripts_with_breakpoints_ = Handle<WeakArrayList>{};

}

}

void Debug::FloodWithOneShot(Handle<SharedFunctionInfo> shared,

bool returns_only) {

if (IsBlackboxed(shared)) return;

// Make sure the function is compiled and has set up the debug info.

if (!EnsureBreakInfo(shared)) return;

PrepareFunctionForDebugExecution(shared);

Handle<DebugInfo> debug_info(shared->GetDebugInfo(), isolate_);

// Flood the function with break points.

DCHECK(debug_info->HasInstrumentedBytecodeArray());

for (BreakIterator it(debug_info); !it.Done(); it.Next()) {

if (returns_only && !it.GetBreakLocation().IsReturnOrSuspend()) continue;

it.SetDebugBreak();

}

}

void Debug::ChangeBreakOnException(ExceptionBreakType type, bool enable) {

if (type == BreakUncaughtException) {

break_on_uncaught_exception_ = enable;

} else {

break_on_exception_ = enable;

}

}

bool Debug::IsBreakOnException(ExceptionBreakType type) {

if (type == BreakUncaughtException) {

return break_on_uncaught_exception_;

} else {

return break_on_exception_;

}

}

MaybeHandle<FixedArray> Debug::GetHitBreakPoints(Handle<DebugInfo> debug_info,

int position) {

Handle<Object> break_points = debug_info->GetBreakPoints(isolate_, position);

bool is_break_at_entry = debug_info->BreakAtEntry();

DCHECK(!break_points->IsUndefined(isolate_));

if (!break_points->IsFixedArray()) {

if (!CheckBreakPoint(Handle<BreakPoint>::cast(break_points),

is_break_at_entry)) {

return {};

}

Handle<FixedArray> break_points_hit = isolate_->factory()->NewFixedArray(1);

break_points_hit->set(0, *break_points);

return break_points_hit;

}

Handle<FixedArray> array(FixedArray::cast(*break_points), isolate_);

int num_objects = array->length();

Handle<FixedArray> break_points_hit =

isolate_->factory()->NewFixedArray(num_objects);

int break_points_hit_count = 0;

for (int i = 0; i < num_objects; ++i) {

Handle<Object> break_point(array->get(i), isolate_);

if (CheckBreakPoint(Handle<BreakPoint>::cast(break_point),

is_break_at_entry)) {

break_points_hit->set(break_points_hit_count++, *break_point);

}

}

if (break_points_hit_count == 0) return {};

break_points_hit->Shrink(isolate_, break_points_hit_count);

return break_points_hit;

}

void Debug::SetBreakOnNextFunctionCall() {

// This method forces V8 to break on next function call regardless current

// last_step_action_. If any break happens between SetBreakOnNextFunctionCall

// and ClearBreakOnNextFunctionCall, we will clear this flag and stepping. If

// break does not happen, e.g. all called functions are blackboxed or no

// function is called, then we will clear this flag and let stepping continue

// its normal business.

thread_local_.break_on_next_function_call_ = true;

UpdateHookOnFunctionCall();

}

void Debug::ClearBreakOnNextFunctionCall() {

thread_local_.break_on_next_function_call_ = false;

UpdateHookOnFunctionCall();

}

void Debug::PrepareStepIn(Handle<JSFunction> function) {

CHECK(last_step_action() >= StepIn || break_on_next_function_call());

if (ignore_events()) return;

if (in_debug_scope()) return;

if (break_disabled()) return;

Handle<SharedFunctionInfo> shared(function->shared(), isolate_);

if (IsBlackboxed(shared)) return;

if (*function == thread_local_.ignore_step_into_function_) return;

thread_local_.ignore_step_into_function_ = Smi::zero();

FloodWithOneShot(Handle<SharedFunctionInfo>(function->shared(), isolate_));

}

void Debug::PrepareStepInSuspendedGenerator() {

CHECK(has_suspended_generator());

if (ignore_events()) return;

if (in_debug_scope()) return;

if (break_disabled()) return;

thread_local_.last_step_action_ = StepIn;

UpdateHookOnFunctionCall();

Handle<JSFunction> function(

JSGeneratorObject::cast(thread_local_.suspended_generator_).function(),

isolate_);

FloodWithOneShot(Handle<SharedFunctionInfo>(function->shared(), isolate_));

clear_suspended_generator();

}

void Debug::PrepareStepOnThrow() {

if (last_step_action() == StepNone) return;

if (ignore_events()) return;

if (in_debug_scope()) return;

if (break_disabled()) return;

ClearOneShot();

int current_frame_count = CurrentFrameCount();

// Iterate through the JavaScript stack looking for handlers.

JavaScriptFrameIterator it(isolate_);

while (!it.done()) {

JavaScriptFrame* frame = it.frame();

if (frame->LookupExceptionHandlerInTable(nullptr, nullptr) > 0) break;

std::vector<SharedFunctionInfo> infos;

frame->GetFunctions(&infos);

current_frame_count -= infos.size();

it.Advance();

}

// No handler found. Nothing to instrument.

if (it.done()) return;

bool found_handler = false;

// Iterate frames, including inlined frames. First, find the handler frame.

// Then skip to the frame we want to break in, then instrument for stepping.

for (; !it.done(); it.Advance()) {

JavaScriptFrame* frame = JavaScriptFrame::cast(it.frame());

if (last_step_action() == StepIn) {

// Deoptimize frame to ensure calls are checked for step-in.

Deoptimizer::DeoptimizeFunction(frame->function());

}

std::vector<FrameSummary> summaries;

frame->Summarize(&summaries);

for (size_t i = summaries.size(); i != 0; i--, current_frame_count--) {

const FrameSummary& summary = summaries[i - 1];

if (!found_handler) {

// We have yet to find the handler. If the frame inlines multiple

// functions, we have to check each one for the handler.

// If it only contains one function, we already found the handler.

if (summaries.size() > 1) {

Handle<AbstractCode> code = summary.AsJavaScript().abstract_code();

CHECK_EQ(AbstractCode::INTERPRETED_FUNCTION, code->kind());

HandlerTable table(code->GetBytecodeArray());

int code_offset = summary.code_offset();

HandlerTable::CatchPrediction prediction;

int index = table.LookupRange(code_offset, nullptr, &prediction);

if (index > 0) found_handler = true;

} else {

found_handler = true;

}

}

if (found_handler) {

// We found the handler. If we are stepping next or out, we need to

// iterate until we found the suitable target frame to break in.

if ((last_step_action() == StepNext || last_step_action() == StepOut) &&

current_frame_count > thread_local_.target_frame_count_) {

continue;

}