Debugger.cpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299
  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(address.value().address);
  61. VERIFY(success);
  62. } else {
  63. bool success = session->remove_breakpoint(address.value().address);
  64. VERIFY(success);
  65. }
  66. }
  67. bool Debugger::set_execution_position(const String& file, size_t line)
  68. {
  69. auto position = create_source_position(file, line);
  70. auto session = Debugger::the().session();
  71. if (!session)
  72. return false;
  73. auto address = session->get_address_from_source_position(position.file_path, position.line_number);
  74. if (!address.has_value())
  75. return false;
  76. auto registers = session->get_registers();
  77. registers.set_ip(address.value().address);
  78. session->set_registers(registers);
  79. return true;
  80. }
  81. Debug::DebugInfo::SourcePosition Debugger::create_source_position(const String& file, size_t line)
  82. {
  83. if (file.starts_with("/"))
  84. return { file, line + 1 };
  85. return { LexicalPath::canonicalized_path(String::formatted("{}/{}", m_source_root, file)), line + 1 };
  86. }
  87. intptr_t Debugger::start_static()
  88. {
  89. Debugger::the().start();
  90. return 0;
  91. }
  92. void Debugger::stop()
  93. {
  94. set_requested_debugger_action(DebuggerAction::Exit);
  95. }
  96. void Debugger::start()
  97. {
  98. auto child_setup_callback = [this]() {
  99. if (m_child_setup_callback)
  100. return m_child_setup_callback();
  101. return ErrorOr<void> {};
  102. };
  103. m_debug_session = Debug::DebugSession::exec_and_attach(m_executable_path, m_source_root, move(child_setup_callback));
  104. VERIFY(!!m_debug_session);
  105. for (const auto& breakpoint : m_breakpoints) {
  106. dbgln("inserting breakpoint at: {}:{}", breakpoint.file_path, breakpoint.line_number);
  107. auto address = m_debug_session->get_address_from_source_position(breakpoint.file_path, breakpoint.line_number);
  108. if (address.has_value()) {
  109. bool success = m_debug_session->insert_breakpoint(address.value().address);
  110. VERIFY(success);
  111. } else {
  112. dbgln("couldn't insert breakpoint");
  113. }
  114. }
  115. debugger_loop();
  116. }
  117. int Debugger::debugger_loop()
  118. {
  119. VERIFY(m_debug_session);
  120. m_debug_session->run(Debug::DebugSession::DesiredInitialDebugeeState::Running, [this](Debug::DebugSession::DebugBreakReason reason, Optional<PtraceRegisters> optional_regs) {
  121. if (reason == Debug::DebugSession::DebugBreakReason::Exited) {
  122. dbgln("Program exited");
  123. m_on_exit_callback();
  124. return Debug::DebugSession::DebugDecision::Detach;
  125. }
  126. remove_temporary_breakpoints();
  127. VERIFY(optional_regs.has_value());
  128. const PtraceRegisters& regs = optional_regs.value();
  129. auto source_position = m_debug_session->get_source_position(regs.ip());
  130. if (!source_position.has_value())
  131. return Debug::DebugSession::DebugDecision::SingleStep;
  132. // We currently do no support stepping through assembly source
  133. if (source_position.value().file_path.ends_with(".S"))
  134. return Debug::DebugSession::DebugDecision::SingleStep;
  135. VERIFY(source_position.has_value());
  136. if (m_state.get() == Debugger::DebuggingState::SingleStepping) {
  137. if (m_state.should_stop_single_stepping(source_position.value())) {
  138. m_state.set_normal();
  139. } else {
  140. return Debug::DebugSession::DebugDecision::SingleStep;
  141. }
  142. }
  143. auto control_passed_to_user = m_on_stopped_callback(regs);
  144. if (control_passed_to_user == HasControlPassedToUser::Yes) {
  145. pthread_mutex_lock(&m_ui_action_mutex);
  146. pthread_cond_wait(&m_ui_action_cond, &m_ui_action_mutex);
  147. pthread_mutex_unlock(&m_ui_action_mutex);
  148. if (m_requested_debugger_action != DebuggerAction::Exit)
  149. m_on_continue_callback();
  150. } else {
  151. m_requested_debugger_action = DebuggerAction::Continue;
  152. }
  153. switch (m_requested_debugger_action) {
  154. case DebuggerAction::Continue:
  155. m_state.set_normal();
  156. return Debug::DebugSession::DebugDecision::Continue;
  157. case DebuggerAction::SourceSingleStep:
  158. m_state.set_single_stepping(source_position.value());
  159. return Debug::DebugSession::DebugDecision::SingleStep;
  160. case DebuggerAction::SourceStepOut:
  161. m_state.set_stepping_out();
  162. do_step_out(regs);
  163. return Debug::DebugSession::DebugDecision::Continue;
  164. case DebuggerAction::SourceStepOver:
  165. m_state.set_stepping_over();
  166. do_step_over(regs);
  167. return Debug::DebugSession::DebugDecision::Continue;
  168. case DebuggerAction::Exit:
  169. dbgln("Debugger exiting");
  170. m_on_exit_callback();
  171. return Debug::DebugSession::DebugDecision::Kill;
  172. }
  173. VERIFY_NOT_REACHED();
  174. });
  175. m_debug_session.clear();
  176. return 0;
  177. }
  178. void Debugger::DebuggingState::set_normal()
  179. {
  180. m_state = State::Normal;
  181. m_original_source_position.clear();
  182. }
  183. void Debugger::DebuggingState::set_single_stepping(Debug::DebugInfo::SourcePosition original_source_position)
  184. {
  185. m_state = State::SingleStepping;
  186. m_original_source_position = original_source_position;
  187. }
  188. bool Debugger::DebuggingState::should_stop_single_stepping(const Debug::DebugInfo::SourcePosition& current_source_position) const
  189. {
  190. VERIFY(m_state == State::SingleStepping);
  191. return m_original_source_position.value() != current_source_position;
  192. }
  193. void Debugger::remove_temporary_breakpoints()
  194. {
  195. for (auto breakpoint_address : m_state.temporary_breakpoints()) {
  196. VERIFY(m_debug_session->breakpoint_exists(breakpoint_address));
  197. bool rc = m_debug_session->remove_breakpoint(breakpoint_address);
  198. VERIFY(rc);
  199. }
  200. m_state.clear_temporary_breakpoints();
  201. }
  202. void Debugger::DebuggingState::clear_temporary_breakpoints()
  203. {
  204. m_addresses_of_temporary_breakpoints.clear();
  205. }
  206. void Debugger::DebuggingState::add_temporary_breakpoint(FlatPtr address)
  207. {
  208. m_addresses_of_temporary_breakpoints.append(address);
  209. }
  210. void Debugger::do_step_out(const PtraceRegisters& regs)
  211. {
  212. // To step out, we simply insert a temporary breakpoint at the
  213. // instruction the current function returns to, and continue
  214. // execution until we hit that instruction (or some other breakpoint).
  215. insert_temporary_breakpoint_at_return_address(regs);
  216. }
  217. void Debugger::do_step_over(const PtraceRegisters& regs)
  218. {
  219. // To step over, we insert a temporary breakpoint at each line in the current function,
  220. // as well as at the current function's return point, and continue execution.
  221. auto lib = m_debug_session->library_at(regs.ip());
  222. if (!lib)
  223. return;
  224. auto current_function = lib->debug_info->get_containing_function(regs.ip() - lib->base_address);
  225. if (!current_function.has_value()) {
  226. dbgln("cannot perform step_over, failed to find containing function of: {:p}", regs.ip());
  227. return;
  228. }
  229. VERIFY(current_function.has_value());
  230. auto lines_in_current_function = lib->debug_info->source_lines_in_scope(current_function.value());
  231. for (const auto& line : lines_in_current_function) {
  232. insert_temporary_breakpoint(line.address_of_first_statement.value() + lib->base_address);
  233. }
  234. insert_temporary_breakpoint_at_return_address(regs);
  235. }
  236. void Debugger::insert_temporary_breakpoint_at_return_address(const PtraceRegisters& regs)
  237. {
  238. auto frame_info = Debug::StackFrameUtils::get_info(*m_debug_session, regs.bp());
  239. VERIFY(frame_info.has_value());
  240. FlatPtr return_address = frame_info.value().return_address;
  241. insert_temporary_breakpoint(return_address);
  242. }
  243. void Debugger::insert_temporary_breakpoint(FlatPtr address)
  244. {
  245. if (m_debug_session->breakpoint_exists(address))
  246. return;
  247. bool success = m_debug_session->insert_breakpoint(address);
  248. VERIFY(success);
  249. m_state.add_temporary_breakpoint(address);
  250. }
  251. void Debugger::set_requested_debugger_action(DebuggerAction action)
  252. {
  253. pthread_mutex_lock(continue_mutex());
  254. m_requested_debugger_action = action;
  255. pthread_cond_signal(continue_cond());
  256. pthread_mutex_unlock(continue_mutex());
  257. }
  258. }