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