Debugger.cpp 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343
  1. /*
  2. * Copyright (c) 2020, Itamar S. <itamar8910@gmail.com>
  3. * Copyright (c) 2024, Sam Atkins <atkinssj@serenityos.org>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include "Debugger.h"
  8. #include <LibDebug/StackFrameUtils.h>
  9. namespace HackStudio {
  10. static Debugger* s_the;
  11. Debugger& Debugger::the()
  12. {
  13. VERIFY(s_the);
  14. return *s_the;
  15. }
  16. void Debugger::initialize(
  17. ByteString source_root,
  18. Function<HasControlPassedToUser(PtraceRegisters const&)> on_stop_callback,
  19. Function<void()> on_continue_callback,
  20. Function<void()> on_exit_callback,
  21. Function<void(float)> on_initialization_progress)
  22. {
  23. s_the = new Debugger(source_root, move(on_stop_callback), move(on_continue_callback), move(on_exit_callback), move(on_initialization_progress));
  24. }
  25. bool Debugger::is_initialized()
  26. {
  27. return s_the;
  28. }
  29. Debugger::Debugger(
  30. ByteString source_root,
  31. Function<HasControlPassedToUser(PtraceRegisters const&)> on_stop_callback,
  32. Function<void()> on_continue_callback,
  33. Function<void()> on_exit_callback,
  34. Function<void(float)> on_initialization_progress)
  35. : m_source_root(source_root)
  36. , m_on_stopped_callback(move(on_stop_callback))
  37. , m_on_continue_callback(move(on_continue_callback))
  38. , m_on_exit_callback(move(on_exit_callback))
  39. , m_on_initialization_progress(move(on_initialization_progress))
  40. {
  41. pthread_mutex_init(&m_ui_action_mutex, nullptr);
  42. pthread_cond_init(&m_ui_action_cond, nullptr);
  43. }
  44. bool Debugger::change_breakpoint(ByteString const& file, size_t line, BreakpointChange change_type)
  45. {
  46. auto position = create_source_position(file, line);
  47. auto session = Debugger::the().session();
  48. if (session) {
  49. auto address = session->get_address_from_source_position(position.file_path, position.line_number);
  50. if (!address.has_value()) {
  51. dbgln("Warning: couldn't get instruction address from source");
  52. return false;
  53. }
  54. switch (change_type) {
  55. case BreakpointChange::Added:
  56. if (session->insert_breakpoint(address.value().address)) {
  57. m_breakpoints.append(position);
  58. return true;
  59. }
  60. break;
  61. case BreakpointChange::Removed:
  62. if (session->remove_breakpoint(address.value().address)) {
  63. m_breakpoints.remove_all_matching([&](Debug::DebugInfo::SourcePosition const& val) { return val == position; });
  64. return true;
  65. }
  66. break;
  67. }
  68. return false;
  69. }
  70. // No active session, so just modify our internal list of breakpoints
  71. switch (change_type) {
  72. case BreakpointChange::Added:
  73. m_breakpoints.append(position);
  74. return true;
  75. case BreakpointChange::Removed:
  76. m_breakpoints.remove_all_matching([&](Debug::DebugInfo::SourcePosition const& val) { return val == position; });
  77. return true;
  78. }
  79. VERIFY_NOT_REACHED();
  80. }
  81. bool Debugger::set_execution_position(ByteString const& file, size_t line)
  82. {
  83. auto position = create_source_position(file, line);
  84. auto session = Debugger::the().session();
  85. if (!session)
  86. return false;
  87. auto address = session->get_address_from_source_position(position.file_path, position.line_number);
  88. if (!address.has_value())
  89. return false;
  90. auto registers = session->get_registers();
  91. registers.set_ip(address.value().address);
  92. session->set_registers(registers);
  93. return true;
  94. }
  95. Debug::DebugInfo::SourcePosition Debugger::create_source_position(ByteString const& file, size_t line)
  96. {
  97. if (file.starts_with('/'))
  98. return { file, line + 1 };
  99. return { LexicalPath::canonicalized_path(ByteString::formatted("{}/{}", m_source_root, file)), line + 1 };
  100. }
  101. intptr_t Debugger::start_static()
  102. {
  103. Debugger::the().start();
  104. return 0;
  105. }
  106. void Debugger::stop()
  107. {
  108. set_requested_debugger_action(DebuggerAction::Exit);
  109. }
  110. void Debugger::start()
  111. {
  112. auto [debug_session, initial_state] = create_debug_session();
  113. m_debug_session = move(debug_session);
  114. for (auto const& breakpoint : m_breakpoints) {
  115. dbgln("inserting breakpoint at: {}:{}", breakpoint.file_path, breakpoint.line_number);
  116. auto address = m_debug_session->get_address_from_source_position(breakpoint.file_path, breakpoint.line_number);
  117. if (address.has_value()) {
  118. bool success = m_debug_session->insert_breakpoint(address.value().address);
  119. VERIFY(success);
  120. } else {
  121. // FIXME: Report the invalid breakpoint to the GUI somehow.
  122. dbgln("couldn't insert breakpoint");
  123. }
  124. }
  125. debugger_loop(initial_state);
  126. }
  127. Debugger::CreateDebugSessionResult Debugger::create_debug_session()
  128. {
  129. if (!m_executable_path.is_empty()) {
  130. auto child_setup_callback = [this]() {
  131. if (m_child_setup_callback)
  132. return m_child_setup_callback();
  133. return ErrorOr<void> {};
  134. };
  135. auto on_initialization_progress = [this](float progress) {
  136. if (m_on_initialization_progress)
  137. m_on_initialization_progress(progress);
  138. };
  139. auto debug_session = Debug::DebugSession::exec_and_attach(m_executable_path, m_source_root, move(child_setup_callback), move(on_initialization_progress));
  140. VERIFY(!!debug_session);
  141. return { debug_session.release_nonnull(), Debug::DebugSession::Running };
  142. }
  143. if (m_pid_to_attach.has_value()) {
  144. auto on_initialization_progress = [this](float progress) {
  145. if (m_on_initialization_progress)
  146. m_on_initialization_progress(progress);
  147. };
  148. auto debug_session = Debug::DebugSession::attach(m_pid_to_attach.value(), m_source_root, move(on_initialization_progress));
  149. VERIFY(!!debug_session);
  150. return { debug_session.release_nonnull(), Debug::DebugSession::Stopped };
  151. }
  152. VERIFY_NOT_REACHED();
  153. }
  154. int Debugger::debugger_loop(Debug::DebugSession::DesiredInitialDebugeeState initial_state)
  155. {
  156. VERIFY(m_debug_session);
  157. m_debug_session->run(initial_state, [this](Debug::DebugSession::DebugBreakReason reason, Optional<PtraceRegisters> optional_regs) {
  158. if (reason == Debug::DebugSession::DebugBreakReason::Exited) {
  159. dbgln("Program exited");
  160. m_on_exit_callback();
  161. return Debug::DebugSession::DebugDecision::Detach;
  162. }
  163. remove_temporary_breakpoints();
  164. VERIFY(optional_regs.has_value());
  165. PtraceRegisters const& regs = optional_regs.value();
  166. auto source_position = m_debug_session->get_source_position(regs.ip());
  167. if (!source_position.has_value())
  168. return Debug::DebugSession::DebugDecision::SingleStep;
  169. // We currently do no support stepping through assembly source
  170. if (source_position.value().file_path.ends_with(".S"sv))
  171. return Debug::DebugSession::DebugDecision::SingleStep;
  172. VERIFY(source_position.has_value());
  173. if (m_state.get() == Debugger::DebuggingState::SingleStepping) {
  174. if (m_state.should_stop_single_stepping(source_position.value())) {
  175. m_state.set_normal();
  176. } else {
  177. return Debug::DebugSession::DebugDecision::SingleStep;
  178. }
  179. }
  180. auto control_passed_to_user = m_on_stopped_callback(regs);
  181. if (control_passed_to_user == HasControlPassedToUser::Yes) {
  182. pthread_mutex_lock(&m_ui_action_mutex);
  183. pthread_cond_wait(&m_ui_action_cond, &m_ui_action_mutex);
  184. pthread_mutex_unlock(&m_ui_action_mutex);
  185. if (m_requested_debugger_action != DebuggerAction::Exit)
  186. m_on_continue_callback();
  187. } else {
  188. m_requested_debugger_action = DebuggerAction::Continue;
  189. }
  190. switch (m_requested_debugger_action) {
  191. case DebuggerAction::Continue:
  192. m_state.set_normal();
  193. return Debug::DebugSession::DebugDecision::Continue;
  194. case DebuggerAction::SourceSingleStep:
  195. m_state.set_single_stepping(source_position.value());
  196. return Debug::DebugSession::DebugDecision::SingleStep;
  197. case DebuggerAction::SourceStepOut:
  198. m_state.set_stepping_out();
  199. do_step_out(regs);
  200. return Debug::DebugSession::DebugDecision::Continue;
  201. case DebuggerAction::SourceStepOver:
  202. m_state.set_stepping_over();
  203. do_step_over(regs);
  204. return Debug::DebugSession::DebugDecision::Continue;
  205. case DebuggerAction::Exit:
  206. dbgln("Debugger exiting");
  207. m_on_exit_callback();
  208. return Debug::DebugSession::DebugDecision::Kill;
  209. }
  210. VERIFY_NOT_REACHED();
  211. });
  212. m_debug_session.clear();
  213. return 0;
  214. }
  215. void Debugger::DebuggingState::set_normal()
  216. {
  217. m_state = State::Normal;
  218. m_original_source_position.clear();
  219. }
  220. void Debugger::DebuggingState::set_single_stepping(Debug::DebugInfo::SourcePosition original_source_position)
  221. {
  222. m_state = State::SingleStepping;
  223. m_original_source_position = original_source_position;
  224. }
  225. bool Debugger::DebuggingState::should_stop_single_stepping(Debug::DebugInfo::SourcePosition const& current_source_position) const
  226. {
  227. VERIFY(m_state == State::SingleStepping);
  228. return m_original_source_position.value() != current_source_position;
  229. }
  230. void Debugger::remove_temporary_breakpoints()
  231. {
  232. for (auto breakpoint_address : m_state.temporary_breakpoints()) {
  233. VERIFY(m_debug_session->breakpoint_exists(breakpoint_address));
  234. bool rc = m_debug_session->remove_breakpoint(breakpoint_address);
  235. VERIFY(rc);
  236. }
  237. m_state.clear_temporary_breakpoints();
  238. }
  239. void Debugger::DebuggingState::clear_temporary_breakpoints()
  240. {
  241. m_addresses_of_temporary_breakpoints.clear();
  242. }
  243. void Debugger::DebuggingState::add_temporary_breakpoint(FlatPtr address)
  244. {
  245. m_addresses_of_temporary_breakpoints.append(address);
  246. }
  247. void Debugger::do_step_out(PtraceRegisters const& regs)
  248. {
  249. // To step out, we simply insert a temporary breakpoint at the
  250. // instruction the current function returns to, and continue
  251. // execution until we hit that instruction (or some other breakpoint).
  252. insert_temporary_breakpoint_at_return_address(regs);
  253. }
  254. void Debugger::do_step_over(PtraceRegisters const& regs)
  255. {
  256. // To step over, we insert a temporary breakpoint at each line in the current function,
  257. // as well as at the current function's return point, and continue execution.
  258. auto lib = m_debug_session->library_at(regs.ip());
  259. if (!lib)
  260. return;
  261. auto current_function = lib->debug_info->get_containing_function(regs.ip() - lib->base_address);
  262. if (!current_function.has_value()) {
  263. dbgln("cannot perform step_over, failed to find containing function of: {:p}", regs.ip());
  264. return;
  265. }
  266. VERIFY(current_function.has_value());
  267. auto lines_in_current_function = lib->debug_info->source_lines_in_scope(current_function.value());
  268. for (auto const& line : lines_in_current_function) {
  269. insert_temporary_breakpoint(line.address_of_first_statement.value() + lib->base_address);
  270. }
  271. insert_temporary_breakpoint_at_return_address(regs);
  272. }
  273. void Debugger::insert_temporary_breakpoint_at_return_address(PtraceRegisters const& regs)
  274. {
  275. auto frame_info = Debug::StackFrameUtils::get_info(*m_debug_session, regs.bp());
  276. VERIFY(frame_info.has_value());
  277. FlatPtr return_address = frame_info.value().return_address;
  278. insert_temporary_breakpoint(return_address);
  279. }
  280. void Debugger::insert_temporary_breakpoint(FlatPtr address)
  281. {
  282. if (m_debug_session->breakpoint_exists(address))
  283. return;
  284. bool success = m_debug_session->insert_breakpoint(address);
  285. VERIFY(success);
  286. m_state.add_temporary_breakpoint(address);
  287. }
  288. void Debugger::set_requested_debugger_action(DebuggerAction action)
  289. {
  290. pthread_mutex_lock(continue_mutex());
  291. m_requested_debugger_action = action;
  292. pthread_cond_signal(continue_cond());
  293. pthread_mutex_unlock(continue_mutex());
  294. }
  295. void Debugger::stop_debuggee()
  296. {
  297. return m_debug_session->stop_debuggee();
  298. }
  299. }