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