xref: /src/contrib/llvm-project/lldb/source/Target/AssertFrameRecognizer.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1145449b1SDimitry Andric #include "lldb/Target/AssertFrameRecognizer.h"
2cfca06d7SDimitry Andric #include "lldb/Core/Module.h"
3cfca06d7SDimitry Andric #include "lldb/Symbol/Function.h"
4cfca06d7SDimitry Andric #include "lldb/Symbol/SymbolContext.h"
5ac9a064cSDimitry Andric #include "lldb/Symbol/SymbolLocation.h"
6cfca06d7SDimitry Andric #include "lldb/Target/Process.h"
7cfca06d7SDimitry Andric #include "lldb/Target/StackFrameList.h"
8cfca06d7SDimitry Andric #include "lldb/Target/Target.h"
9cfca06d7SDimitry Andric #include "lldb/Target/Thread.h"
10145449b1SDimitry Andric #include "lldb/Utility/LLDBLog.h"
11cfca06d7SDimitry Andric 
12cfca06d7SDimitry Andric using namespace llvm;
13cfca06d7SDimitry Andric using namespace lldb;
14cfca06d7SDimitry Andric using namespace lldb_private;
15cfca06d7SDimitry Andric 
16cfca06d7SDimitry Andric namespace lldb_private {
17cfca06d7SDimitry Andric /// Fetches the abort frame location depending on the current platform.
18cfca06d7SDimitry Andric ///
19cfca06d7SDimitry Andric /// \param[in] os
20cfca06d7SDimitry Andric ///    The target's os type.
21cfca06d7SDimitry Andric /// \param[in,out] location
22cfca06d7SDimitry Andric ///    The struct that will contain the abort module spec and symbol names.
23cfca06d7SDimitry Andric /// \return
24cfca06d7SDimitry Andric ///    \b true, if the platform is supported
25cfca06d7SDimitry Andric ///    \b false, otherwise.
GetAbortLocation(llvm::Triple::OSType os,SymbolLocation & location)26cfca06d7SDimitry Andric bool GetAbortLocation(llvm::Triple::OSType os, SymbolLocation &location) {
27cfca06d7SDimitry Andric   switch (os) {
28cfca06d7SDimitry Andric   case llvm::Triple::Darwin:
29cfca06d7SDimitry Andric   case llvm::Triple::MacOSX:
30cfca06d7SDimitry Andric     location.module_spec = FileSpec("libsystem_kernel.dylib");
31cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("__pthread_kill"));
32cfca06d7SDimitry Andric     break;
33cfca06d7SDimitry Andric   case llvm::Triple::Linux:
34cfca06d7SDimitry Andric     location.module_spec = FileSpec("libc.so.6");
35cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("raise"));
36cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("__GI_raise"));
37cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("gsignal"));
38344a3780SDimitry Andric     location.symbols.push_back(ConstString("pthread_kill"));
39344a3780SDimitry Andric     location.symbols_are_regex = true;
40cfca06d7SDimitry Andric     break;
41cfca06d7SDimitry Andric   default:
42145449b1SDimitry Andric     Log *log = GetLog(LLDBLog::Unwind);
43cfca06d7SDimitry Andric     LLDB_LOG(log, "AssertFrameRecognizer::GetAbortLocation Unsupported OS");
44cfca06d7SDimitry Andric     return false;
45cfca06d7SDimitry Andric   }
46cfca06d7SDimitry Andric 
47cfca06d7SDimitry Andric   return true;
48cfca06d7SDimitry Andric }
49cfca06d7SDimitry Andric 
50cfca06d7SDimitry Andric /// Fetches the assert frame location depending on the current platform.
51cfca06d7SDimitry Andric ///
52cfca06d7SDimitry Andric /// \param[in] os
53cfca06d7SDimitry Andric ///    The target's os type.
54cfca06d7SDimitry Andric /// \param[in,out] location
55cfca06d7SDimitry Andric ///    The struct that will contain the assert module spec and symbol names.
56cfca06d7SDimitry Andric /// \return
57cfca06d7SDimitry Andric ///    \b true, if the platform is supported
58cfca06d7SDimitry Andric ///    \b false, otherwise.
GetAssertLocation(llvm::Triple::OSType os,SymbolLocation & location)59cfca06d7SDimitry Andric bool GetAssertLocation(llvm::Triple::OSType os, SymbolLocation &location) {
60cfca06d7SDimitry Andric   switch (os) {
61cfca06d7SDimitry Andric   case llvm::Triple::Darwin:
62cfca06d7SDimitry Andric   case llvm::Triple::MacOSX:
63cfca06d7SDimitry Andric     location.module_spec = FileSpec("libsystem_c.dylib");
64cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("__assert_rtn"));
65cfca06d7SDimitry Andric     break;
66cfca06d7SDimitry Andric   case llvm::Triple::Linux:
67cfca06d7SDimitry Andric     location.module_spec = FileSpec("libc.so.6");
68cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("__assert_fail"));
69cfca06d7SDimitry Andric     location.symbols.push_back(ConstString("__GI___assert_fail"));
70cfca06d7SDimitry Andric     break;
71cfca06d7SDimitry Andric   default:
72145449b1SDimitry Andric     Log *log = GetLog(LLDBLog::Unwind);
73cfca06d7SDimitry Andric     LLDB_LOG(log, "AssertFrameRecognizer::GetAssertLocation Unsupported OS");
74cfca06d7SDimitry Andric     return false;
75cfca06d7SDimitry Andric   }
76cfca06d7SDimitry Andric 
77cfca06d7SDimitry Andric   return true;
78cfca06d7SDimitry Andric }
79cfca06d7SDimitry Andric 
RegisterAssertFrameRecognizer(Process * process)80cfca06d7SDimitry Andric void RegisterAssertFrameRecognizer(Process *process) {
81cfca06d7SDimitry Andric   Target &target = process->GetTarget();
82cfca06d7SDimitry Andric   llvm::Triple::OSType os = target.GetArchitecture().GetTriple().getOS();
83cfca06d7SDimitry Andric   SymbolLocation location;
84cfca06d7SDimitry Andric 
85cfca06d7SDimitry Andric   if (!GetAbortLocation(os, location))
86cfca06d7SDimitry Andric     return;
87cfca06d7SDimitry Andric 
88344a3780SDimitry Andric   if (!location.symbols_are_regex) {
89b60736ecSDimitry Andric     target.GetFrameRecognizerManager().AddRecognizer(
90344a3780SDimitry Andric         std::make_shared<AssertFrameRecognizer>(),
91cfca06d7SDimitry Andric         location.module_spec.GetFilename(), location.symbols,
92cfca06d7SDimitry Andric         /*first_instruction_only*/ false);
93344a3780SDimitry Andric     return;
94344a3780SDimitry Andric   }
95344a3780SDimitry Andric   std::string module_re = "^";
96344a3780SDimitry Andric   for (char c : location.module_spec.GetFilename().GetStringRef()) {
97344a3780SDimitry Andric     if (c == '.')
98344a3780SDimitry Andric       module_re += '\\';
99344a3780SDimitry Andric     module_re += c;
100344a3780SDimitry Andric   }
101344a3780SDimitry Andric   module_re += '$';
102344a3780SDimitry Andric   std::string symbol_re = "^(";
103344a3780SDimitry Andric   for (auto it = location.symbols.cbegin(); it != location.symbols.cend();
104344a3780SDimitry Andric        ++it) {
105344a3780SDimitry Andric     if (it != location.symbols.cbegin())
106344a3780SDimitry Andric       symbol_re += '|';
107344a3780SDimitry Andric     symbol_re += it->GetStringRef();
108344a3780SDimitry Andric   }
109344a3780SDimitry Andric   // Strip the trailing @VER symbol version.
110344a3780SDimitry Andric   symbol_re += ")(@.*)?$";
111344a3780SDimitry Andric   target.GetFrameRecognizerManager().AddRecognizer(
112344a3780SDimitry Andric       std::make_shared<AssertFrameRecognizer>(),
113344a3780SDimitry Andric       std::make_shared<RegularExpression>(std::move(module_re)),
114344a3780SDimitry Andric       std::make_shared<RegularExpression>(std::move(symbol_re)),
115344a3780SDimitry Andric       /*first_instruction_only*/ false);
116cfca06d7SDimitry Andric }
117cfca06d7SDimitry Andric 
118cfca06d7SDimitry Andric } // namespace lldb_private
119cfca06d7SDimitry Andric 
120cfca06d7SDimitry Andric lldb::RecognizedStackFrameSP
RecognizeFrame(lldb::StackFrameSP frame_sp)121cfca06d7SDimitry Andric AssertFrameRecognizer::RecognizeFrame(lldb::StackFrameSP frame_sp) {
122cfca06d7SDimitry Andric   ThreadSP thread_sp = frame_sp->GetThread();
123cfca06d7SDimitry Andric   ProcessSP process_sp = thread_sp->GetProcess();
124cfca06d7SDimitry Andric   Target &target = process_sp->GetTarget();
125cfca06d7SDimitry Andric   llvm::Triple::OSType os = target.GetArchitecture().GetTriple().getOS();
126cfca06d7SDimitry Andric   SymbolLocation location;
127cfca06d7SDimitry Andric 
128cfca06d7SDimitry Andric   if (!GetAssertLocation(os, location))
129cfca06d7SDimitry Andric     return RecognizedStackFrameSP();
130cfca06d7SDimitry Andric 
131344a3780SDimitry Andric   const uint32_t frames_to_fetch = 6;
132cfca06d7SDimitry Andric   const uint32_t last_frame_index = frames_to_fetch - 1;
133cfca06d7SDimitry Andric   StackFrameSP prev_frame_sp = nullptr;
134cfca06d7SDimitry Andric 
135cfca06d7SDimitry Andric   // Fetch most relevant frame
136cfca06d7SDimitry Andric   for (uint32_t frame_index = 0; frame_index < frames_to_fetch; frame_index++) {
137cfca06d7SDimitry Andric     prev_frame_sp = thread_sp->GetStackFrameAtIndex(frame_index);
138cfca06d7SDimitry Andric 
139cfca06d7SDimitry Andric     if (!prev_frame_sp) {
140145449b1SDimitry Andric       Log *log = GetLog(LLDBLog::Unwind);
141cfca06d7SDimitry Andric       LLDB_LOG(log, "Abort Recognizer: Hit unwinding bound ({1} frames)!",
142cfca06d7SDimitry Andric                frames_to_fetch);
143cfca06d7SDimitry Andric       break;
144cfca06d7SDimitry Andric     }
145cfca06d7SDimitry Andric 
146cfca06d7SDimitry Andric     SymbolContext sym_ctx =
147cfca06d7SDimitry Andric         prev_frame_sp->GetSymbolContext(eSymbolContextEverything);
148cfca06d7SDimitry Andric 
149b60736ecSDimitry Andric     if (!sym_ctx.module_sp ||
150b60736ecSDimitry Andric         !sym_ctx.module_sp->GetFileSpec().FileEquals(location.module_spec))
151cfca06d7SDimitry Andric       continue;
152cfca06d7SDimitry Andric 
153cfca06d7SDimitry Andric     ConstString func_name = sym_ctx.GetFunctionName();
154cfca06d7SDimitry Andric 
155cfca06d7SDimitry Andric     if (llvm::is_contained(location.symbols, func_name)) {
156cfca06d7SDimitry Andric       // We go a frame beyond the assert location because the most relevant
157cfca06d7SDimitry Andric       // frame for the user is the one in which the assert function was called.
158cfca06d7SDimitry Andric       // If the assert location is the last frame fetched, then it is set as
159cfca06d7SDimitry Andric       // the most relevant frame.
160cfca06d7SDimitry Andric 
161cfca06d7SDimitry Andric       StackFrameSP most_relevant_frame_sp = thread_sp->GetStackFrameAtIndex(
162cfca06d7SDimitry Andric           std::min(frame_index + 1, last_frame_index));
163cfca06d7SDimitry Andric 
164cfca06d7SDimitry Andric       // Pass assert location to AbortRecognizedStackFrame to set as most
165cfca06d7SDimitry Andric       // relevant frame.
166cfca06d7SDimitry Andric       return lldb::RecognizedStackFrameSP(
167cfca06d7SDimitry Andric           new AssertRecognizedStackFrame(most_relevant_frame_sp));
168cfca06d7SDimitry Andric     }
169cfca06d7SDimitry Andric   }
170cfca06d7SDimitry Andric 
171cfca06d7SDimitry Andric   return RecognizedStackFrameSP();
172cfca06d7SDimitry Andric }
173cfca06d7SDimitry Andric 
AssertRecognizedStackFrame(StackFrameSP most_relevant_frame_sp)174cfca06d7SDimitry Andric AssertRecognizedStackFrame::AssertRecognizedStackFrame(
175cfca06d7SDimitry Andric     StackFrameSP most_relevant_frame_sp)
176cfca06d7SDimitry Andric     : m_most_relevant_frame(most_relevant_frame_sp) {
177cfca06d7SDimitry Andric   m_stop_desc = "hit program assert";
178cfca06d7SDimitry Andric }
179cfca06d7SDimitry Andric 
GetMostRelevantFrame()180cfca06d7SDimitry Andric lldb::StackFrameSP AssertRecognizedStackFrame::GetMostRelevantFrame() {
181cfca06d7SDimitry Andric   return m_most_relevant_frame;
182cfca06d7SDimitry Andric }
183