• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //===-- ThreadPlanStepInRange.cpp -----------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "lldb/Target/ThreadPlanStepInRange.h"
10 #include "lldb/Core/Architecture.h"
11 #include "lldb/Core/Module.h"
12 #include "lldb/Symbol/Function.h"
13 #include "lldb/Symbol/Symbol.h"
14 #include "lldb/Target/Process.h"
15 #include "lldb/Target/RegisterContext.h"
16 #include "lldb/Target/SectionLoadList.h"
17 #include "lldb/Target/Target.h"
18 #include "lldb/Target/Thread.h"
19 #include "lldb/Target/ThreadPlanStepOut.h"
20 #include "lldb/Target/ThreadPlanStepThrough.h"
21 #include "lldb/Utility/Log.h"
22 #include "lldb/Utility/RegularExpression.h"
23 #include "lldb/Utility/Stream.h"
24 
25 using namespace lldb;
26 using namespace lldb_private;
27 
28 uint32_t ThreadPlanStepInRange::s_default_flag_values =
29     ThreadPlanShouldStopHere::eStepInAvoidNoDebug;
30 
31 // ThreadPlanStepInRange: Step through a stack range, either stepping over or
32 // into based on the value of \a type.
33 
ThreadPlanStepInRange(Thread & thread,const AddressRange & range,const SymbolContext & addr_context,lldb::RunMode stop_others,LazyBool step_in_avoids_code_without_debug_info,LazyBool step_out_avoids_code_without_debug_info)34 ThreadPlanStepInRange::ThreadPlanStepInRange(
35     Thread &thread, const AddressRange &range,
36     const SymbolContext &addr_context, lldb::RunMode stop_others,
37     LazyBool step_in_avoids_code_without_debug_info,
38     LazyBool step_out_avoids_code_without_debug_info)
39     : ThreadPlanStepRange(ThreadPlan::eKindStepInRange,
40                           "Step Range stepping in", thread, range, addr_context,
41                           stop_others),
42       ThreadPlanShouldStopHere(this), m_step_past_prologue(true),
43       m_virtual_step(false) {
44   SetCallbacks();
45   SetFlagsToDefault();
46   SetupAvoidNoDebug(step_in_avoids_code_without_debug_info,
47                     step_out_avoids_code_without_debug_info);
48 }
49 
50 ThreadPlanStepInRange::~ThreadPlanStepInRange() = default;
51 
SetupAvoidNoDebug(LazyBool step_in_avoids_code_without_debug_info,LazyBool step_out_avoids_code_without_debug_info)52 void ThreadPlanStepInRange::SetupAvoidNoDebug(
53     LazyBool step_in_avoids_code_without_debug_info,
54     LazyBool step_out_avoids_code_without_debug_info) {
55   bool avoid_nodebug = true;
56   Thread &thread = GetThread();
57   switch (step_in_avoids_code_without_debug_info) {
58   case eLazyBoolYes:
59     avoid_nodebug = true;
60     break;
61   case eLazyBoolNo:
62     avoid_nodebug = false;
63     break;
64   case eLazyBoolCalculate:
65     avoid_nodebug = thread.GetStepInAvoidsNoDebug();
66     break;
67   }
68   if (avoid_nodebug)
69     GetFlags().Set(ThreadPlanShouldStopHere::eStepInAvoidNoDebug);
70   else
71     GetFlags().Clear(ThreadPlanShouldStopHere::eStepInAvoidNoDebug);
72 
73   switch (step_out_avoids_code_without_debug_info) {
74   case eLazyBoolYes:
75     avoid_nodebug = true;
76     break;
77   case eLazyBoolNo:
78     avoid_nodebug = false;
79     break;
80   case eLazyBoolCalculate:
81     avoid_nodebug = thread.GetStepOutAvoidsNoDebug();
82     break;
83   }
84   if (avoid_nodebug)
85     GetFlags().Set(ThreadPlanShouldStopHere::eStepOutAvoidNoDebug);
86   else
87     GetFlags().Clear(ThreadPlanShouldStopHere::eStepOutAvoidNoDebug);
88 }
89 
GetDescription(Stream * s,lldb::DescriptionLevel level)90 void ThreadPlanStepInRange::GetDescription(Stream *s,
91                                            lldb::DescriptionLevel level) {
92 
93   auto PrintFailureIfAny = [&]() {
94     if (m_status.Success())
95       return;
96     s->Printf(" failed (%s)", m_status.AsCString());
97   };
98 
99   if (level == lldb::eDescriptionLevelBrief) {
100     s->Printf("step in");
101     PrintFailureIfAny();
102     return;
103   }
104 
105   s->Printf("Stepping in");
106   bool printed_line_info = false;
107   if (m_addr_context.line_entry.IsValid()) {
108     s->Printf(" through line ");
109     m_addr_context.line_entry.DumpStopContext(s, false);
110     printed_line_info = true;
111   }
112 
113   const char *step_into_target = m_step_into_target.AsCString();
114   if (step_into_target && step_into_target[0] != '\0')
115     s->Printf(" targeting %s", m_step_into_target.AsCString());
116 
117   if (!printed_line_info || level == eDescriptionLevelVerbose) {
118     s->Printf(" using ranges:");
119     DumpRanges(s);
120   }
121 
122   PrintFailureIfAny();
123 
124   s->PutChar('.');
125 }
126 
ShouldStop(Event * event_ptr)127 bool ThreadPlanStepInRange::ShouldStop(Event *event_ptr) {
128   Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
129 
130   if (log) {
131     StreamString s;
132     DumpAddress(s.AsRawOstream(), GetThread().GetRegisterContext()->GetPC(),
133                 GetTarget().GetArchitecture().GetAddressByteSize());
134     LLDB_LOGF(log, "ThreadPlanStepInRange reached %s.", s.GetData());
135   }
136 
137   if (IsPlanComplete())
138     return true;
139 
140   m_no_more_plans = false;
141   if (m_sub_plan_sp && m_sub_plan_sp->IsPlanComplete()) {
142     if (!m_sub_plan_sp->PlanSucceeded()) {
143       SetPlanComplete();
144       m_no_more_plans = true;
145       return true;
146     } else
147       m_sub_plan_sp.reset();
148   }
149 
150   if (m_virtual_step) {
151     // If we've just completed a virtual step, all we need to do is check for a
152     // ShouldStopHere plan, and otherwise we're done.
153     // FIXME - This can be both a step in and a step out.  Probably should
154     // record which in the m_virtual_step.
155     m_sub_plan_sp =
156         CheckShouldStopHereAndQueueStepOut(eFrameCompareYounger, m_status);
157   } else {
158     // Stepping through should be done running other threads in general, since
159     // we're setting a breakpoint and continuing.  So only stop others if we
160     // are explicitly told to do so.
161 
162     bool stop_others = (m_stop_others == lldb::eOnlyThisThread);
163 
164     FrameComparison frame_order = CompareCurrentFrameToStartFrame();
165 
166     Thread &thread = GetThread();
167     if (frame_order == eFrameCompareOlder ||
168         frame_order == eFrameCompareSameParent) {
169       // If we're in an older frame then we should stop.
170       //
171       // A caveat to this is if we think the frame is older but we're actually
172       // in a trampoline.
173       // I'm going to make the assumption that you wouldn't RETURN to a
174       // trampoline.  So if we are in a trampoline we think the frame is older
175       // because the trampoline confused the backtracer.
176       m_sub_plan_sp = thread.QueueThreadPlanForStepThrough(
177           m_stack_id, false, stop_others, m_status);
178       if (!m_sub_plan_sp) {
179         // Otherwise check the ShouldStopHere for step out:
180         m_sub_plan_sp =
181             CheckShouldStopHereAndQueueStepOut(frame_order, m_status);
182         if (log) {
183           if (m_sub_plan_sp)
184             LLDB_LOGF(log,
185                       "ShouldStopHere found plan to step out of this frame.");
186           else
187             LLDB_LOGF(log, "ShouldStopHere no plan to step out of this frame.");
188         }
189       } else if (log) {
190         LLDB_LOGF(
191             log, "Thought I stepped out, but in fact arrived at a trampoline.");
192       }
193     } else if (frame_order == eFrameCompareEqual && InSymbol()) {
194       // If we are not in a place we should step through, we're done. One
195       // tricky bit here is that some stubs don't push a frame, so we have to
196       // check both the case of a frame that is younger, or the same as this
197       // frame. However, if the frame is the same, and we are still in the
198       // symbol we started in, the we don't need to do this.  This first check
199       // isn't strictly necessary, but it is more efficient.
200 
201       // If we're still in the range, keep going, either by running to the next
202       // branch breakpoint, or by stepping.
203       if (InRange()) {
204         SetNextBranchBreakpoint();
205         return false;
206       }
207 
208       SetPlanComplete();
209       m_no_more_plans = true;
210       return true;
211     }
212 
213     // If we get to this point, we're not going to use a previously set "next
214     // branch" breakpoint, so delete it:
215     ClearNextBranchBreakpoint();
216 
217     // We may have set the plan up above in the FrameIsOlder section:
218 
219     if (!m_sub_plan_sp)
220       m_sub_plan_sp = thread.QueueThreadPlanForStepThrough(
221           m_stack_id, false, stop_others, m_status);
222 
223     if (log) {
224       if (m_sub_plan_sp)
225         LLDB_LOGF(log, "Found a step through plan: %s",
226                   m_sub_plan_sp->GetName());
227       else
228         LLDB_LOGF(log, "No step through plan found.");
229     }
230 
231     // If not, give the "should_stop" callback a chance to push a plan to get
232     // us out of here. But only do that if we actually have stepped in.
233     if (!m_sub_plan_sp && frame_order == eFrameCompareYounger)
234       m_sub_plan_sp = CheckShouldStopHereAndQueueStepOut(frame_order, m_status);
235 
236     // If we've stepped in and we are going to stop here, check to see if we
237     // were asked to run past the prologue, and if so do that.
238 
239     if (!m_sub_plan_sp && frame_order == eFrameCompareYounger &&
240         m_step_past_prologue) {
241       lldb::StackFrameSP curr_frame = thread.GetStackFrameAtIndex(0);
242       if (curr_frame) {
243         size_t bytes_to_skip = 0;
244         lldb::addr_t curr_addr = thread.GetRegisterContext()->GetPC();
245         Address func_start_address;
246 
247         SymbolContext sc = curr_frame->GetSymbolContext(eSymbolContextFunction |
248                                                         eSymbolContextSymbol);
249 
250         if (sc.function) {
251           func_start_address = sc.function->GetAddressRange().GetBaseAddress();
252           if (curr_addr == func_start_address.GetLoadAddress(&GetTarget()))
253             bytes_to_skip = sc.function->GetPrologueByteSize();
254         } else if (sc.symbol) {
255           func_start_address = sc.symbol->GetAddress();
256           if (curr_addr == func_start_address.GetLoadAddress(&GetTarget()))
257             bytes_to_skip = sc.symbol->GetPrologueByteSize();
258         }
259 
260         if (bytes_to_skip == 0 && sc.symbol) {
261           const Architecture *arch = GetTarget().GetArchitecturePlugin();
262           if (arch) {
263             Address curr_sec_addr;
264             GetTarget().GetSectionLoadList().ResolveLoadAddress(curr_addr,
265                                                                 curr_sec_addr);
266             bytes_to_skip = arch->GetBytesToSkip(*sc.symbol, curr_sec_addr);
267           }
268         }
269 
270         if (bytes_to_skip != 0) {
271           func_start_address.Slide(bytes_to_skip);
272           log = lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP);
273           LLDB_LOGF(log, "Pushing past prologue ");
274 
275           m_sub_plan_sp = thread.QueueThreadPlanForRunToAddress(
276               false, func_start_address, true, m_status);
277         }
278       }
279     }
280   }
281 
282   if (!m_sub_plan_sp) {
283     m_no_more_plans = true;
284     SetPlanComplete();
285     return true;
286   } else {
287     m_no_more_plans = false;
288     m_sub_plan_sp->SetPrivate(true);
289     return false;
290   }
291 }
292 
SetAvoidRegexp(const char * name)293 void ThreadPlanStepInRange::SetAvoidRegexp(const char *name) {
294   auto name_ref = llvm::StringRef::withNullAsEmpty(name);
295   if (m_avoid_regexp_up)
296     *m_avoid_regexp_up = RegularExpression(name_ref);
297   else
298     m_avoid_regexp_up = std::make_unique<RegularExpression>(name_ref);
299 }
300 
SetDefaultFlagValue(uint32_t new_value)301 void ThreadPlanStepInRange::SetDefaultFlagValue(uint32_t new_value) {
302   // TODO: Should we test this for sanity?
303   ThreadPlanStepInRange::s_default_flag_values = new_value;
304 }
305 
FrameMatchesAvoidCriteria()306 bool ThreadPlanStepInRange::FrameMatchesAvoidCriteria() {
307   StackFrame *frame = GetThread().GetStackFrameAtIndex(0).get();
308 
309   // Check the library list first, as that's cheapest:
310   bool libraries_say_avoid = false;
311 
312   FileSpecList libraries_to_avoid(GetThread().GetLibrariesToAvoid());
313   size_t num_libraries = libraries_to_avoid.GetSize();
314   if (num_libraries > 0) {
315     SymbolContext sc(frame->GetSymbolContext(eSymbolContextModule));
316     FileSpec frame_library(sc.module_sp->GetFileSpec());
317 
318     if (frame_library) {
319       for (size_t i = 0; i < num_libraries; i++) {
320         const FileSpec &file_spec(libraries_to_avoid.GetFileSpecAtIndex(i));
321         if (FileSpec::Match(file_spec, frame_library)) {
322           libraries_say_avoid = true;
323           break;
324         }
325       }
326     }
327   }
328   if (libraries_say_avoid)
329     return true;
330 
331   const RegularExpression *avoid_regexp_to_use = m_avoid_regexp_up.get();
332   if (avoid_regexp_to_use == nullptr)
333     avoid_regexp_to_use = GetThread().GetSymbolsToAvoidRegexp();
334 
335   if (avoid_regexp_to_use != nullptr) {
336     SymbolContext sc = frame->GetSymbolContext(
337         eSymbolContextFunction | eSymbolContextBlock | eSymbolContextSymbol);
338     if (sc.symbol != nullptr) {
339       const char *frame_function_name =
340           sc.GetFunctionName(Mangled::ePreferDemangledWithoutArguments)
341               .GetCString();
342       if (frame_function_name) {
343         llvm::SmallVector<llvm::StringRef, 2> matches;
344         bool return_value =
345             avoid_regexp_to_use->Execute(frame_function_name, &matches);
346         if (return_value && matches.size() > 1) {
347           std::string match = matches[1].str();
348           LLDB_LOGF(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP),
349                     "Stepping out of function \"%s\" because it matches "
350                     "the avoid regexp \"%s\" - match substring: \"%s\".",
351                     frame_function_name,
352                     avoid_regexp_to_use->GetText().str().c_str(),
353                     match.c_str());
354         }
355         return return_value;
356       }
357     }
358   }
359   return false;
360 }
361 
DefaultShouldStopHereCallback(ThreadPlan * current_plan,Flags & flags,FrameComparison operation,Status & status,void * baton)362 bool ThreadPlanStepInRange::DefaultShouldStopHereCallback(
363     ThreadPlan *current_plan, Flags &flags, FrameComparison operation,
364     Status &status, void *baton) {
365   bool should_stop_here = true;
366   StackFrame *frame = current_plan->GetThread().GetStackFrameAtIndex(0).get();
367   Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
368 
369   // First see if the ThreadPlanShouldStopHere default implementation thinks we
370   // should get out of here:
371   should_stop_here = ThreadPlanShouldStopHere::DefaultShouldStopHereCallback(
372       current_plan, flags, operation, status, baton);
373   if (!should_stop_here)
374     return false;
375 
376   if (should_stop_here && current_plan->GetKind() == eKindStepInRange &&
377       operation == eFrameCompareYounger) {
378     ThreadPlanStepInRange *step_in_range_plan =
379         static_cast<ThreadPlanStepInRange *>(current_plan);
380     if (step_in_range_plan->m_step_into_target) {
381       SymbolContext sc = frame->GetSymbolContext(
382           eSymbolContextFunction | eSymbolContextBlock | eSymbolContextSymbol);
383       if (sc.symbol != nullptr) {
384         // First try an exact match, since that's cheap with ConstStrings.
385         // Then do a strstr compare.
386         if (step_in_range_plan->m_step_into_target == sc.GetFunctionName()) {
387           should_stop_here = true;
388         } else {
389           const char *target_name =
390               step_in_range_plan->m_step_into_target.AsCString();
391           const char *function_name = sc.GetFunctionName().AsCString();
392 
393           if (function_name == nullptr)
394             should_stop_here = false;
395           else if (strstr(function_name, target_name) == nullptr)
396             should_stop_here = false;
397         }
398         if (log && !should_stop_here)
399           LLDB_LOGF(log,
400                     "Stepping out of frame %s which did not match step into "
401                     "target %s.",
402                     sc.GetFunctionName().AsCString(),
403                     step_in_range_plan->m_step_into_target.AsCString());
404       }
405     }
406 
407     if (should_stop_here) {
408       ThreadPlanStepInRange *step_in_range_plan =
409           static_cast<ThreadPlanStepInRange *>(current_plan);
410       // Don't log the should_step_out here, it's easier to do it in
411       // FrameMatchesAvoidCriteria.
412       should_stop_here = !step_in_range_plan->FrameMatchesAvoidCriteria();
413     }
414   }
415 
416   return should_stop_here;
417 }
418 
DoPlanExplainsStop(Event * event_ptr)419 bool ThreadPlanStepInRange::DoPlanExplainsStop(Event *event_ptr) {
420   // We always explain a stop.  Either we've just done a single step, in which
421   // case we'll do our ordinary processing, or we stopped for some reason that
422   // isn't handled by our sub-plans, in which case we want to just stop right
423   // away. In general, we don't want to mark the plan as complete for
424   // unexplained stops. For instance, if you step in to some code with no debug
425   // info, so you step out and in the course of that hit a breakpoint, then you
426   // want to stop & show the user the breakpoint, but not unship the step in
427   // plan, since you still may want to complete that plan when you continue.
428   // This is particularly true when doing "step in to target function."
429   // stepping.
430   //
431   // The only variation is that if we are doing "step by running to next
432   // branch" in which case if we hit our branch breakpoint we don't set the
433   // plan to complete.
434 
435   bool return_value = false;
436 
437   if (m_virtual_step) {
438     return_value = true;
439   } else {
440     StopInfoSP stop_info_sp = GetPrivateStopInfo();
441     if (stop_info_sp) {
442       StopReason reason = stop_info_sp->GetStopReason();
443 
444       if (reason == eStopReasonBreakpoint) {
445         if (NextRangeBreakpointExplainsStop(stop_info_sp)) {
446           return_value = true;
447         }
448       } else if (IsUsuallyUnexplainedStopReason(reason)) {
449         Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
450         if (log)
451           log->PutCString("ThreadPlanStepInRange got asked if it explains the "
452                           "stop for some reason other than step.");
453         return_value = false;
454       } else {
455         return_value = true;
456       }
457     } else
458       return_value = true;
459   }
460 
461   return return_value;
462 }
463 
DoWillResume(lldb::StateType resume_state,bool current_plan)464 bool ThreadPlanStepInRange::DoWillResume(lldb::StateType resume_state,
465                                          bool current_plan) {
466   m_virtual_step = false;
467   if (resume_state == eStateStepping && current_plan) {
468     Thread &thread = GetThread();
469     // See if we are about to step over a virtual inlined call.
470     bool step_without_resume = thread.DecrementCurrentInlinedDepth();
471     if (step_without_resume) {
472       Log *log(lldb_private::GetLogIfAllCategoriesSet(LIBLLDB_LOG_STEP));
473       LLDB_LOGF(log,
474                 "ThreadPlanStepInRange::DoWillResume: returning false, "
475                 "inline_depth: %d",
476                 thread.GetCurrentInlinedDepth());
477       SetStopInfo(StopInfo::CreateStopReasonToTrace(thread));
478 
479       // FIXME: Maybe it would be better to create a InlineStep stop reason, but
480       // then
481       // the whole rest of the world would have to handle that stop reason.
482       m_virtual_step = true;
483     }
484     return !step_without_resume;
485   }
486   return true;
487 }
488 
IsVirtualStep()489 bool ThreadPlanStepInRange::IsVirtualStep() { return m_virtual_step; }
490