15f757f3fSDimitry Andric //===-- ReportRetriever.cpp -----------------------------------------------===//
25f757f3fSDimitry Andric //
35f757f3fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
45f757f3fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
55f757f3fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65f757f3fSDimitry Andric //
75f757f3fSDimitry Andric //===----------------------------------------------------------------------===//
85f757f3fSDimitry Andric 
95f757f3fSDimitry Andric #include "ReportRetriever.h"
105f757f3fSDimitry Andric 
115f757f3fSDimitry Andric #include "lldb/Breakpoint/StoppointCallbackContext.h"
125f757f3fSDimitry Andric #include "lldb/Core/Debugger.h"
135f757f3fSDimitry Andric #include "lldb/Core/Module.h"
145f757f3fSDimitry Andric #include "lldb/Core/ValueObject.h"
155f757f3fSDimitry Andric #include "lldb/Expression/UserExpression.h"
165f757f3fSDimitry Andric #include "lldb/Target/InstrumentationRuntimeStopInfo.h"
175f757f3fSDimitry Andric 
185f757f3fSDimitry Andric using namespace lldb;
195f757f3fSDimitry Andric using namespace lldb_private;
205f757f3fSDimitry Andric 
215f757f3fSDimitry Andric const char *address_sanitizer_retrieve_report_data_prefix = R"(
225f757f3fSDimitry Andric extern "C"
235f757f3fSDimitry Andric {
245f757f3fSDimitry Andric int __asan_report_present();
255f757f3fSDimitry Andric void *__asan_get_report_pc();
265f757f3fSDimitry Andric void *__asan_get_report_bp();
275f757f3fSDimitry Andric void *__asan_get_report_sp();
285f757f3fSDimitry Andric void *__asan_get_report_address();
295f757f3fSDimitry Andric const char *__asan_get_report_description();
305f757f3fSDimitry Andric int __asan_get_report_access_type();
315f757f3fSDimitry Andric size_t __asan_get_report_access_size();
325f757f3fSDimitry Andric }
335f757f3fSDimitry Andric )";
345f757f3fSDimitry Andric 
355f757f3fSDimitry Andric const char *address_sanitizer_retrieve_report_data_command = R"(
365f757f3fSDimitry Andric struct {
375f757f3fSDimitry Andric     int present;
385f757f3fSDimitry Andric     int access_type;
395f757f3fSDimitry Andric     void *pc;
405f757f3fSDimitry Andric     void *bp;
415f757f3fSDimitry Andric     void *sp;
425f757f3fSDimitry Andric     void *address;
435f757f3fSDimitry Andric     size_t access_size;
445f757f3fSDimitry Andric     const char *description;
455f757f3fSDimitry Andric } t;
465f757f3fSDimitry Andric 
475f757f3fSDimitry Andric t.present = __asan_report_present();
485f757f3fSDimitry Andric t.access_type = __asan_get_report_access_type();
495f757f3fSDimitry Andric t.pc = __asan_get_report_pc();
505f757f3fSDimitry Andric t.bp = __asan_get_report_bp();
515f757f3fSDimitry Andric t.sp = __asan_get_report_sp();
525f757f3fSDimitry Andric t.address = __asan_get_report_address();
535f757f3fSDimitry Andric t.access_size = __asan_get_report_access_size();
545f757f3fSDimitry Andric t.description = __asan_get_report_description();
555f757f3fSDimitry Andric t
565f757f3fSDimitry Andric )";
575f757f3fSDimitry Andric 
585f757f3fSDimitry Andric StructuredData::ObjectSP
595f757f3fSDimitry Andric ReportRetriever::RetrieveReportData(const ProcessSP process_sp) {
605f757f3fSDimitry Andric   if (!process_sp)
615f757f3fSDimitry Andric     return StructuredData::ObjectSP();
625f757f3fSDimitry Andric 
635f757f3fSDimitry Andric   ThreadSP thread_sp =
645f757f3fSDimitry Andric       process_sp->GetThreadList().GetExpressionExecutionThread();
655f757f3fSDimitry Andric 
665f757f3fSDimitry Andric   if (!thread_sp)
675f757f3fSDimitry Andric     return StructuredData::ObjectSP();
685f757f3fSDimitry Andric 
695f757f3fSDimitry Andric   StackFrameSP frame_sp =
705f757f3fSDimitry Andric       thread_sp->GetSelectedFrame(DoNoSelectMostRelevantFrame);
715f757f3fSDimitry Andric 
725f757f3fSDimitry Andric   if (!frame_sp)
735f757f3fSDimitry Andric     return StructuredData::ObjectSP();
745f757f3fSDimitry Andric 
755f757f3fSDimitry Andric   EvaluateExpressionOptions options;
765f757f3fSDimitry Andric   options.SetUnwindOnError(true);
775f757f3fSDimitry Andric   options.SetTryAllThreads(true);
785f757f3fSDimitry Andric   options.SetStopOthers(true);
795f757f3fSDimitry Andric   options.SetIgnoreBreakpoints(true);
805f757f3fSDimitry Andric   options.SetTimeout(process_sp->GetUtilityExpressionTimeout());
815f757f3fSDimitry Andric   options.SetPrefix(address_sanitizer_retrieve_report_data_prefix);
825f757f3fSDimitry Andric   options.SetAutoApplyFixIts(false);
835f757f3fSDimitry Andric   options.SetLanguage(eLanguageTypeObjC_plus_plus);
845f757f3fSDimitry Andric 
855f757f3fSDimitry Andric   ValueObjectSP return_value_sp;
865f757f3fSDimitry Andric   ExecutionContext exe_ctx;
875f757f3fSDimitry Andric   Status eval_error;
885f757f3fSDimitry Andric   frame_sp->CalculateExecutionContext(exe_ctx);
895f757f3fSDimitry Andric   ExpressionResults result = UserExpression::Evaluate(
905f757f3fSDimitry Andric       exe_ctx, options, address_sanitizer_retrieve_report_data_command, "",
915f757f3fSDimitry Andric       return_value_sp, eval_error);
925f757f3fSDimitry Andric   if (result != eExpressionCompleted) {
935f757f3fSDimitry Andric     StreamString ss;
945f757f3fSDimitry Andric     ss << "cannot evaluate AddressSanitizer expression:\n";
955f757f3fSDimitry Andric     ss << eval_error.AsCString();
965f757f3fSDimitry Andric     Debugger::ReportWarning(ss.GetString().str(),
975f757f3fSDimitry Andric                             process_sp->GetTarget().GetDebugger().GetID());
985f757f3fSDimitry Andric     return StructuredData::ObjectSP();
995f757f3fSDimitry Andric   }
1005f757f3fSDimitry Andric 
1015f757f3fSDimitry Andric   int present = return_value_sp->GetValueForExpressionPath(".present")
1025f757f3fSDimitry Andric                     ->GetValueAsUnsigned(0);
1035f757f3fSDimitry Andric   if (present != 1)
1045f757f3fSDimitry Andric     return StructuredData::ObjectSP();
1055f757f3fSDimitry Andric 
1065f757f3fSDimitry Andric   addr_t pc =
1075f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".pc")->GetValueAsUnsigned(0);
1085f757f3fSDimitry Andric   addr_t bp =
1095f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".bp")->GetValueAsUnsigned(0);
1105f757f3fSDimitry Andric   addr_t sp =
1115f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".sp")->GetValueAsUnsigned(0);
1125f757f3fSDimitry Andric   addr_t address = return_value_sp->GetValueForExpressionPath(".address")
1135f757f3fSDimitry Andric                        ->GetValueAsUnsigned(0);
1145f757f3fSDimitry Andric   addr_t access_type =
1155f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".access_type")
1165f757f3fSDimitry Andric           ->GetValueAsUnsigned(0);
1175f757f3fSDimitry Andric   addr_t access_size =
1185f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".access_size")
1195f757f3fSDimitry Andric           ->GetValueAsUnsigned(0);
1205f757f3fSDimitry Andric   addr_t description_ptr =
1215f757f3fSDimitry Andric       return_value_sp->GetValueForExpressionPath(".description")
1225f757f3fSDimitry Andric           ->GetValueAsUnsigned(0);
1235f757f3fSDimitry Andric   std::string description;
1245f757f3fSDimitry Andric   Status error;
1255f757f3fSDimitry Andric   process_sp->ReadCStringFromMemory(description_ptr, description, error);
1265f757f3fSDimitry Andric 
1275f757f3fSDimitry Andric   auto dict = std::make_shared<StructuredData::Dictionary>();
1285f757f3fSDimitry Andric   if (!dict)
1295f757f3fSDimitry Andric     return StructuredData::ObjectSP();
1305f757f3fSDimitry Andric 
1315f757f3fSDimitry Andric   dict->AddStringItem("instrumentation_class", "AddressSanitizer");
1325f757f3fSDimitry Andric   dict->AddStringItem("stop_type", "fatal_error");
1335f757f3fSDimitry Andric   dict->AddIntegerItem("pc", pc);
1345f757f3fSDimitry Andric   dict->AddIntegerItem("bp", bp);
1355f757f3fSDimitry Andric   dict->AddIntegerItem("sp", sp);
1365f757f3fSDimitry Andric   dict->AddIntegerItem("address", address);
1375f757f3fSDimitry Andric   dict->AddIntegerItem("access_type", access_type);
1385f757f3fSDimitry Andric   dict->AddIntegerItem("access_size", access_size);
1395f757f3fSDimitry Andric   dict->AddStringItem("description", description);
1405f757f3fSDimitry Andric 
1415f757f3fSDimitry Andric   return StructuredData::ObjectSP(dict);
1425f757f3fSDimitry Andric }
1435f757f3fSDimitry Andric 
1445f757f3fSDimitry Andric std::string
1455f757f3fSDimitry Andric ReportRetriever::FormatDescription(StructuredData::ObjectSP report) {
1465f757f3fSDimitry Andric   std::string description = std::string(report->GetAsDictionary()
1475f757f3fSDimitry Andric                                             ->GetValueForKey("description")
1485f757f3fSDimitry Andric                                             ->GetAsString()
1495f757f3fSDimitry Andric                                             ->GetValue());
1505f757f3fSDimitry Andric   return llvm::StringSwitch<std::string>(description)
1515f757f3fSDimitry Andric       .Case("heap-use-after-free", "Use of deallocated memory")
1525f757f3fSDimitry Andric       .Case("heap-buffer-overflow", "Heap buffer overflow")
1535f757f3fSDimitry Andric       .Case("stack-buffer-underflow", "Stack buffer underflow")
1545f757f3fSDimitry Andric       .Case("initialization-order-fiasco", "Initialization order problem")
1555f757f3fSDimitry Andric       .Case("stack-buffer-overflow", "Stack buffer overflow")
1565f757f3fSDimitry Andric       .Case("stack-use-after-return", "Use of stack memory after return")
1575f757f3fSDimitry Andric       .Case("use-after-poison", "Use of poisoned memory")
1585f757f3fSDimitry Andric       .Case("container-overflow", "Container overflow")
1595f757f3fSDimitry Andric       .Case("stack-use-after-scope", "Use of out-of-scope stack memory")
1605f757f3fSDimitry Andric       .Case("global-buffer-overflow", "Global buffer overflow")
1615f757f3fSDimitry Andric       .Case("unknown-crash", "Invalid memory access")
1625f757f3fSDimitry Andric       .Case("stack-overflow", "Stack space exhausted")
1635f757f3fSDimitry Andric       .Case("null-deref", "Dereference of null pointer")
1645f757f3fSDimitry Andric       .Case("wild-jump", "Jump to non-executable address")
1655f757f3fSDimitry Andric       .Case("wild-addr-write", "Write through wild pointer")
1665f757f3fSDimitry Andric       .Case("wild-addr-read", "Read from wild pointer")
1675f757f3fSDimitry Andric       .Case("wild-addr", "Access through wild pointer")
1685f757f3fSDimitry Andric       .Case("signal", "Deadly signal")
1695f757f3fSDimitry Andric       .Case("double-free", "Deallocation of freed memory")
1705f757f3fSDimitry Andric       .Case("new-delete-type-mismatch",
1715f757f3fSDimitry Andric             "Deallocation size different from allocation size")
1725f757f3fSDimitry Andric       .Case("bad-free", "Deallocation of non-allocated memory")
1735f757f3fSDimitry Andric       .Case("alloc-dealloc-mismatch",
1745f757f3fSDimitry Andric             "Mismatch between allocation and deallocation APIs")
1755f757f3fSDimitry Andric       .Case("bad-malloc_usable_size", "Invalid argument to malloc_usable_size")
1765f757f3fSDimitry Andric       .Case("bad-__sanitizer_get_allocated_size",
1775f757f3fSDimitry Andric             "Invalid argument to __sanitizer_get_allocated_size")
1785f757f3fSDimitry Andric       .Case("param-overlap",
1795f757f3fSDimitry Andric             "Call to function disallowing overlapping memory ranges")
1805f757f3fSDimitry Andric       .Case("negative-size-param", "Negative size used when accessing memory")
1815f757f3fSDimitry Andric       .Case("bad-__sanitizer_annotate_contiguous_container",
1825f757f3fSDimitry Andric             "Invalid argument to __sanitizer_annotate_contiguous_container")
1835f757f3fSDimitry Andric       .Case("odr-violation", "Symbol defined in multiple translation units")
1845f757f3fSDimitry Andric       .Case(
1855f757f3fSDimitry Andric           "invalid-pointer-pair",
1865f757f3fSDimitry Andric           "Comparison or arithmetic on pointers from different memory regions")
1875f757f3fSDimitry Andric       // for unknown report codes just show the code
1885f757f3fSDimitry Andric       .Default("AddressSanitizer detected: " + description);
1895f757f3fSDimitry Andric }
1905f757f3fSDimitry Andric 
1915f757f3fSDimitry Andric bool ReportRetriever::NotifyBreakpointHit(ProcessSP process_sp,
1925f757f3fSDimitry Andric                                           StoppointCallbackContext *context,
1935f757f3fSDimitry Andric                                           user_id_t break_id,
1945f757f3fSDimitry Andric                                           user_id_t break_loc_id) {
1955f757f3fSDimitry Andric   // Make sure this is the right process
1965f757f3fSDimitry Andric   if (!process_sp || process_sp != context->exe_ctx_ref.GetProcessSP())
1975f757f3fSDimitry Andric     return false;
1985f757f3fSDimitry Andric 
1995f757f3fSDimitry Andric   if (process_sp->GetModIDRef().IsLastResumeForUserExpression())
2005f757f3fSDimitry Andric     return false;
2015f757f3fSDimitry Andric 
2025f757f3fSDimitry Andric   StructuredData::ObjectSP report = RetrieveReportData(process_sp);
2035f757f3fSDimitry Andric   if (!report || report->GetType() != lldb::eStructuredDataTypeDictionary)
2045f757f3fSDimitry Andric     return false;
2055f757f3fSDimitry Andric 
2065f757f3fSDimitry Andric   std::string description = FormatDescription(report);
2075f757f3fSDimitry Andric 
2085f757f3fSDimitry Andric   if (ThreadSP thread_sp = context->exe_ctx_ref.GetThreadSP())
2095f757f3fSDimitry Andric     thread_sp->SetStopInfo(
2105f757f3fSDimitry Andric         InstrumentationRuntimeStopInfo::CreateStopReasonWithInstrumentationData(
2115f757f3fSDimitry Andric             *thread_sp, description, report));
2125f757f3fSDimitry Andric 
2135f757f3fSDimitry Andric   if (StreamFileSP stream_sp = StreamFileSP(
2145f757f3fSDimitry Andric           process_sp->GetTarget().GetDebugger().GetOutputStreamSP()))
2155f757f3fSDimitry Andric     stream_sp->Printf("AddressSanitizer report breakpoint hit. Use 'thread "
2165f757f3fSDimitry Andric                       "info -s' to get extended information about the "
2175f757f3fSDimitry Andric                       "report.\n");
2185f757f3fSDimitry Andric 
2195f757f3fSDimitry Andric   return true; // Return true to stop the target
2205f757f3fSDimitry Andric }
2215f757f3fSDimitry Andric 
222*0fca6ea1SDimitry Andric // FIXME: Setup the breakpoint using a less fragile SPI. rdar://124399066
2235f757f3fSDimitry Andric Breakpoint *ReportRetriever::SetupBreakpoint(ModuleSP module_sp,
2245f757f3fSDimitry Andric                                              ProcessSP process_sp,
2255f757f3fSDimitry Andric                                              ConstString symbol_name) {
2265f757f3fSDimitry Andric   if (!module_sp || !process_sp)
2275f757f3fSDimitry Andric     return nullptr;
2285f757f3fSDimitry Andric 
2295f757f3fSDimitry Andric   const Symbol *symbol =
2305f757f3fSDimitry Andric       module_sp->FindFirstSymbolWithNameAndType(symbol_name, eSymbolTypeCode);
2315f757f3fSDimitry Andric 
2325f757f3fSDimitry Andric   if (symbol == nullptr)
2335f757f3fSDimitry Andric     return nullptr;
2345f757f3fSDimitry Andric 
2355f757f3fSDimitry Andric   if (!symbol->ValueIsAddress() || !symbol->GetAddressRef().IsValid())
2365f757f3fSDimitry Andric     return nullptr;
2375f757f3fSDimitry Andric 
2385f757f3fSDimitry Andric   Target &target = process_sp->GetTarget();
2395f757f3fSDimitry Andric   addr_t symbol_address = symbol->GetAddressRef().GetOpcodeLoadAddress(&target);
2405f757f3fSDimitry Andric 
2415f757f3fSDimitry Andric   if (symbol_address == LLDB_INVALID_ADDRESS)
2425f757f3fSDimitry Andric     return nullptr;
2435f757f3fSDimitry Andric 
2445f757f3fSDimitry Andric   const bool internal = true;
2455f757f3fSDimitry Andric   const bool hardware = false;
2465f757f3fSDimitry Andric 
2475f757f3fSDimitry Andric   Breakpoint *breakpoint =
2485f757f3fSDimitry Andric       process_sp->GetTarget()
2495f757f3fSDimitry Andric           .CreateBreakpoint(symbol_address, internal, hardware)
2505f757f3fSDimitry Andric           .get();
2515f757f3fSDimitry Andric 
2525f757f3fSDimitry Andric   return breakpoint;
2535f757f3fSDimitry Andric }
254