Debugger.cpp 9.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278
  1. /*
  2. * Copyright (c) 2020, Itamar S. <itamar8910@gmail.com>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include "Debugger.h"
  7. #include <LibDebug/StackFrameUtils.h>
  8. namespace HackStudio {
  9. static Debugger* s_the;
  10. Debugger& Debugger::the()
  11. {
  12. VERIFY(s_the);
  13. return *s_the;
  14. }
  15. void Debugger::initialize(
  16. String source_root,
  17. Function<HasControlPassedToUser(const PtraceRegisters&)> on_stop_callback,
  18. Function<void()> on_continue_callback,
  19. Function<void()> on_exit_callback)
  20. {
  21. s_the = new Debugger(source_root, move(on_stop_callback), move(on_continue_callback), move(on_exit_callback));
  22. }
  23. bool Debugger::is_initialized()
  24. {
  25. return s_the;
  26. }
  27. Debugger::Debugger(
  28. String source_root,
  29. Function<HasControlPassedToUser(const PtraceRegisters&)> on_stop_callback,
  30. Function<void()> on_continue_callback,
  31. Function<void()> on_exit_callback)
  32. : m_source_root(source_root)
  33. , m_on_stopped_callback(move(on_stop_callback))
  34. , m_on_continue_callback(move(on_continue_callback))
  35. , m_on_exit_callback(move(on_exit_callback))
  36. {
  37. pthread_mutex_init(&m_ui_action_mutex, nullptr);
  38. pthread_cond_init(&m_ui_action_cond, nullptr);
  39. }
  40. void Debugger::on_breakpoint_change(const String& file, size_t line, BreakpointChange change_type)
  41. {
  42. auto position = create_source_position(file, line);
  43. if (change_type == BreakpointChange::Added) {
  44. m_breakpoints.append(position);
  45. } else {
  46. m_breakpoints.remove_all_matching([&](const Debug::DebugInfo::SourcePosition& val) { return val == position; });
  47. }
  48. auto session = Debugger::the().session();
  49. if (!session)
  50. return;
  51. auto address = session->get_address_from_source_position(position.file_path, position.line_number);
  52. if (!address.has_value()) {
  53. dbgln("Warning: couldn't get instruction address from source");
  54. // TODO: Currently, the GUI will indicate that a breakpoint was inserted/removed at this line,
  55. // regardless of whether we actually succeeded to insert it. (For example a breakpoint on a comment, or an include statement).
  56. // We should indicate failure via a return value from this function, and not update the breakpoint GUI if we fail.
  57. return;
  58. }
  59. if (change_type == BreakpointChange::Added) {
  60. bool success = session->insert_breakpoint(reinterpret_cast<void*>(address.value().address));
  61. VERIFY(success);
  62. } else {
  63. bool success = session->remove_breakpoint(reinterpret_cast<void*>(address.value().address));
  64. VERIFY(success);
  65. }
  66. }
  67. Debug::DebugInfo::SourcePosition Debugger::create_source_position(const String& file, size_t line)
  68. {
  69. if (file.starts_with("/"))
  70. return { file, line + 1 };
  71. return { LexicalPath::canonicalized_path(String::formatted("{}/{}", m_source_root, file)), line + 1 };
  72. }
  73. int Debugger::start_static()
  74. {
  75. Debugger::the().start();
  76. return 0;
  77. }
  78. void Debugger::stop()
  79. {
  80. set_requested_debugger_action(DebuggerAction::Exit);
  81. }
  82. void Debugger::start()
  83. {
  84. m_debug_session = Debug::DebugSession::exec_and_attach(m_executable_path, m_source_root);
  85. VERIFY(!!m_debug_session);
  86. for (const auto& breakpoint : m_breakpoints) {
  87. dbgln("inserting breakpoint at: {}:{}", breakpoint.file_path, breakpoint.line_number);
  88. auto address = m_debug_session->get_address_from_source_position(breakpoint.file_path, breakpoint.line_number);
  89. if (address.has_value()) {
  90. bool success = m_debug_session->insert_breakpoint(reinterpret_cast<void*>(address.value().address));
  91. VERIFY(success);
  92. } else {
  93. dbgln("couldn't insert breakpoint");
  94. }
  95. }
  96. debugger_loop();
  97. }
  98. int Debugger::debugger_loop()
  99. {
  100. VERIFY(m_debug_session);
  101. m_debug_session->run(Debug::DebugSession::DesiredInitialDebugeeState::Running, [this](Debug::DebugSession::DebugBreakReason reason, Optional<PtraceRegisters> optional_regs) {
  102. if (reason == Debug::DebugSession::DebugBreakReason::Exited) {
  103. dbgln("Program exited");
  104. m_on_exit_callback();
  105. return Debug::DebugSession::DebugDecision::Detach;
  106. }
  107. remove_temporary_breakpoints();
  108. VERIFY(optional_regs.has_value());
  109. const PtraceRegisters& regs = optional_regs.value();
  110. auto source_position = m_debug_session->get_source_position(regs.eip);
  111. if (!source_position.has_value())
  112. return Debug::DebugSession::DebugDecision::SingleStep;
  113. // We currently do no support stepping through assembly source
  114. if (source_position.value().file_path.ends_with(".S"))
  115. return Debug::DebugSession::DebugDecision::SingleStep;
  116. VERIFY(source_position.has_value());
  117. if (m_state.get() == Debugger::DebuggingState::SingleStepping) {
  118. if (m_state.should_stop_single_stepping(source_position.value())) {
  119. m_state.set_normal();
  120. } else {
  121. return Debug::DebugSession::DebugDecision::SingleStep;
  122. }
  123. }
  124. auto control_passed_to_user = m_on_stopped_callback(regs);
  125. if (control_passed_to_user == HasControlPassedToUser::Yes) {
  126. pthread_mutex_lock(&m_ui_action_mutex);
  127. pthread_cond_wait(&m_ui_action_cond, &m_ui_action_mutex);
  128. pthread_mutex_unlock(&m_ui_action_mutex);
  129. if (m_requested_debugger_action != DebuggerAction::Exit)
  130. m_on_continue_callback();
  131. } else {
  132. m_requested_debugger_action = DebuggerAction::Continue;
  133. }
  134. switch (m_requested_debugger_action) {
  135. case DebuggerAction::Continue:
  136. m_state.set_normal();
  137. return Debug::DebugSession::DebugDecision::Continue;
  138. case DebuggerAction::SourceSingleStep:
  139. m_state.set_single_stepping(source_position.value());
  140. return Debug::DebugSession::DebugDecision::SingleStep;
  141. case DebuggerAction::SourceStepOut:
  142. m_state.set_stepping_out();
  143. do_step_out(regs);
  144. return Debug::DebugSession::DebugDecision::Continue;
  145. case DebuggerAction::SourceStepOver:
  146. m_state.set_stepping_over();
  147. do_step_over(regs);
  148. return Debug::DebugSession::DebugDecision::Continue;
  149. case DebuggerAction::Exit:
  150. dbgln("Debugger exiting");
  151. m_on_exit_callback();
  152. return Debug::DebugSession::DebugDecision::Kill;
  153. }
  154. VERIFY_NOT_REACHED();
  155. });
  156. m_debug_session.clear();
  157. return 0;
  158. }
  159. void Debugger::DebuggingState::set_normal()
  160. {
  161. m_state = State::Normal;
  162. m_original_source_position.clear();
  163. }
  164. void Debugger::DebuggingState::set_single_stepping(Debug::DebugInfo::SourcePosition original_source_position)
  165. {
  166. m_state = State::SingleStepping;
  167. m_original_source_position = original_source_position;
  168. }
  169. bool Debugger::DebuggingState::should_stop_single_stepping(const Debug::DebugInfo::SourcePosition& current_source_position) const
  170. {
  171. VERIFY(m_state == State::SingleStepping);
  172. return m_original_source_position.value() != current_source_position;
  173. }
  174. void Debugger::remove_temporary_breakpoints()
  175. {
  176. for (auto breakpoint_address : m_state.temporary_breakpoints()) {
  177. VERIFY(m_debug_session->breakpoint_exists((void*)breakpoint_address));
  178. bool rc = m_debug_session->remove_breakpoint((void*)breakpoint_address);
  179. VERIFY(rc);
  180. }
  181. m_state.clear_temporary_breakpoints();
  182. }
  183. void Debugger::DebuggingState::clear_temporary_breakpoints()
  184. {
  185. m_addresses_of_temporary_breakpoints.clear();
  186. }
  187. void Debugger::DebuggingState::add_temporary_breakpoint(u32 address)
  188. {
  189. m_addresses_of_temporary_breakpoints.append(address);
  190. }
  191. void Debugger::do_step_out(const PtraceRegisters& regs)
  192. {
  193. // To step out, we simply insert a temporary breakpoint at the
  194. // instruction the current function returns to, and continue
  195. // execution until we hit that instruction (or some other breakpoint).
  196. insert_temporary_breakpoint_at_return_address(regs);
  197. }
  198. void Debugger::do_step_over(const PtraceRegisters& regs)
  199. {
  200. // To step over, we insert a temporary breakpoint at each line in the current function,
  201. // as well as at the current function's return point, and continue execution.
  202. auto lib = m_debug_session->library_at(regs.eip);
  203. if (!lib)
  204. return;
  205. auto current_function = lib->debug_info->get_containing_function(regs.eip - lib->base_address);
  206. if (!current_function.has_value()) {
  207. dbgln("cannot perform step_over, failed to find containing function of: {:p}", regs.eip);
  208. return;
  209. }
  210. VERIFY(current_function.has_value());
  211. auto lines_in_current_function = lib->debug_info->source_lines_in_scope(current_function.value());
  212. for (const auto& line : lines_in_current_function) {
  213. insert_temporary_breakpoint(line.address_of_first_statement.value() + lib->base_address);
  214. }
  215. insert_temporary_breakpoint_at_return_address(regs);
  216. }
  217. void Debugger::insert_temporary_breakpoint_at_return_address(const PtraceRegisters& regs)
  218. {
  219. auto frame_info = Debug::StackFrameUtils::get_info(*m_debug_session, regs.ebp);
  220. VERIFY(frame_info.has_value());
  221. u32 return_address = frame_info.value().return_address;
  222. insert_temporary_breakpoint(return_address);
  223. }
  224. void Debugger::insert_temporary_breakpoint(FlatPtr address)
  225. {
  226. if (m_debug_session->breakpoint_exists((void*)address))
  227. return;
  228. bool success = m_debug_session->insert_breakpoint(reinterpret_cast<void*>(address));
  229. VERIFY(success);
  230. m_state.add_temporary_breakpoint(address);
  231. }
  232. void Debugger::set_requested_debugger_action(DebuggerAction action)
  233. {
  234. pthread_mutex_lock(continue_mutex());
  235. m_requested_debugger_action = action;
  236. pthread_cond_signal(continue_cond());
  237. pthread_mutex_unlock(continue_mutex());
  238. }
  239. }