123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256 |
- /*
- * Copyright (c) 2020, Itamar S. <itamar8910@gmail.com>
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions are met:
- *
- * 1. Redistributions of source code must retain the above copyright notice, this
- * list of conditions and the following disclaimer.
- *
- * 2. Redistributions in binary form must reproduce the above copyright notice,
- * this list of conditions and the following disclaimer in the documentation
- * and/or other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
- * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
- * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
- * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
- * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
- * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
- * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
- * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
- * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
- #pragma once
- #include <AK/Demangle.h>
- #include <AK/HashMap.h>
- #include <AK/MappedFile.h>
- #include <AK/NonnullRefPtr.h>
- #include <AK/Optional.h>
- #include <AK/OwnPtr.h>
- #include <AK/String.h>
- #include <LibC/sys/arch/i386/regs.h>
- #include <LibDebug/DebugInfo.h>
- #include <LibELF/Loader.h>
- #include <signal.h>
- #include <stdio.h>
- #include <sys/ptrace.h>
- #include <sys/wait.h>
- #include <unistd.h>
- namespace Debug {
- class DebugSession {
- public:
- static OwnPtr<DebugSession> exec_and_attach(const String& command);
- // Has to be public for OwnPtr::make
- DebugSession(int pid);
- ~DebugSession();
- int pid() const { return m_debuggee_pid; }
- bool poke(u32* address, u32 data);
- Optional<u32> peek(u32* address) const;
- enum class BreakPointState {
- Enabled,
- Disabled,
- };
- struct BreakPoint {
- void* address;
- u32 original_first_word;
- BreakPointState state;
- };
- bool insert_breakpoint(void* address);
- bool disable_breakpoint(void* address);
- bool enable_breakpoint(void* address);
- bool remove_breakpoint(void* address);
- bool breakpoint_exists(void* address) const;
- void dump_breakpoints()
- {
- for (auto addr : m_breakpoints.keys()) {
- dbg() << addr;
- }
- }
- PtraceRegisters get_registers() const;
- void set_registers(const PtraceRegisters&);
- enum class ContinueType {
- FreeRun,
- Syscall,
- };
- void continue_debuggee(ContinueType type = ContinueType::FreeRun);
- // Returns the wstatus result of waitpid()
- int continue_debuggee_and_wait(ContinueType type = ContinueType::FreeRun);
- // Returns the new eip
- void* single_step();
- void detach();
- template<typename Callback>
- void run(Callback callback);
- const ELF::Loader& elf() const { return *m_elf; }
- NonnullRefPtr<const ELF::Loader> elf_ref() const { return m_elf; }
- const MappedFile& executable() const { return *m_executable; }
- const DebugInfo& debug_info() const { return m_debug_info; }
- enum DebugDecision {
- Continue,
- SingleStep,
- ContinueBreakAtSyscall,
- Detach,
- Kill,
- };
- enum DebugBreakReason {
- Breakpoint,
- Syscall,
- Exited,
- };
- private:
- // x86 breakpoint instruction "int3"
- static constexpr u8 BREAKPOINT_INSTRUCTION = 0xcc;
- static NonnullOwnPtr<const MappedFile> initialize_executable_mapped_file(int pid);
- int m_debuggee_pid { -1 };
- bool m_is_debuggee_dead { false };
- NonnullOwnPtr<const MappedFile> m_executable;
- NonnullRefPtr<const ELF::Loader> m_elf;
- DebugInfo m_debug_info;
- HashMap<void*, BreakPoint> m_breakpoints;
- };
- template<typename Callback>
- void DebugSession::run(Callback callback)
- {
- enum class State {
- FreeRun,
- Syscall,
- ConsecutiveBreakpoint,
- SingleStep,
- };
- State state { State::FreeRun };
- auto do_continue_and_wait = [&]() {
- int wstatus = continue_debuggee_and_wait((state == State::FreeRun) ? ContinueType::FreeRun : ContinueType::Syscall);
- // FIXME: This check actually only checks whether the debuggee
- // stopped because it hit a breakpoint/syscall/is in single stepping mode or not
- if (WSTOPSIG(wstatus) != SIGTRAP) {
- callback(DebugBreakReason::Exited, Optional<PtraceRegisters>());
- m_is_debuggee_dead = true;
- return true;
- }
- return false;
- };
- for (;;) {
- if (state == State::FreeRun || state == State::Syscall) {
- if (do_continue_and_wait())
- break;
- }
- auto regs = get_registers();
- Optional<BreakPoint> current_breakpoint;
- if (state == State::FreeRun || state == State::Syscall) {
- current_breakpoint = m_breakpoints.get((void*)((u32)regs.eip - 1));
- if (current_breakpoint.has_value())
- state = State::FreeRun;
- } else {
- current_breakpoint = m_breakpoints.get((void*)regs.eip);
- }
- if (current_breakpoint.has_value()) {
- // We want to make the breakpoint transparent to the user of the debugger.
- // To achieive this, we perform two rollbacks:
- // 1. Set regs.eip to point at the actual address of the instruction we breaked on.
- // regs.eip currently points to one byte after the address of the original instruction,
- // because the cpu has just executed the INT3 we patched into the instruction.
- // 2. We restore the original first byte of the instruction,
- // because it was patched with INT3.
- regs.eip = reinterpret_cast<u32>(current_breakpoint.value().address);
- set_registers(regs);
- disable_breakpoint(current_breakpoint.value().address);
- }
- DebugBreakReason reason = (state == State::Syscall && !current_breakpoint.has_value()) ? DebugBreakReason::Syscall : DebugBreakReason::Breakpoint;
- DebugDecision decision = callback(reason, regs);
- if (reason == DebugBreakReason::Syscall) {
- // skip the exit from the syscall
- if (do_continue_and_wait())
- break;
- }
- if (decision == DebugDecision::Continue) {
- state = State::FreeRun;
- } else if (decision == DebugDecision::ContinueBreakAtSyscall) {
- state = State::Syscall;
- }
- bool did_single_step = false;
- // Re-enable the breakpoint if it wasn't removed by the user
- if (current_breakpoint.has_value() && m_breakpoints.contains(current_breakpoint.value().address)) {
- // The current breakpoint was removed to make it transparent to the user.
- // We now want to re-enable it - the code execution flow could hit it again.
- // To re-enable the breakpoint, we first perform a single step and execute the
- // instruction of the breakpoint, and then redo the INT3 patch in its first byte.
- // If the user manually inserted a breakpoint at were we breaked at originally,
- // we need to disable that breakpoint because we want to singlestep over it to execute the
- // instruction we breaked on (we re-enable it again later anyways).
- if (m_breakpoints.contains(current_breakpoint.value().address) && m_breakpoints.get(current_breakpoint.value().address).value().state == BreakPointState::Enabled) {
- disable_breakpoint(current_breakpoint.value().address);
- }
- auto stopped_address = single_step();
- enable_breakpoint(current_breakpoint.value().address);
- did_single_step = true;
- // If there is another breakpoint after the current one,
- // Then we are already on it (because of single_step)
- auto breakpoint_at_next_instruction = m_breakpoints.get(stopped_address);
- if (breakpoint_at_next_instruction.has_value()
- && breakpoint_at_next_instruction.value().state == BreakPointState::Enabled) {
- state = State::ConsecutiveBreakpoint;
- }
- }
- if (decision == DebugDecision::SingleStep) {
- state = State::SingleStep;
- }
- if (decision == DebugDecision::Detach) {
- detach();
- break;
- }
- if (decision == DebugDecision::Kill) {
- ASSERT_NOT_REACHED(); // TODO: implement
- }
- if (state == State::SingleStep && !did_single_step) {
- single_step();
- }
- }
- }
- }
|