1 //===-- Module.cpp ----------------------------------------------*- C++ -*-===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "lldb/Core/Module.h" 11 12 #include "lldb/Core/AddressRange.h" // for AddressRange 13 #include "lldb/Core/AddressResolverFileLine.h" 14 #include "lldb/Core/Debugger.h" // for Debugger 15 #include "lldb/Core/FileSpecList.h" // for FileSpecList 16 #include "lldb/Core/Mangled.h" // for Mangled 17 #include "lldb/Core/ModuleSpec.h" 18 #include "lldb/Core/SearchFilter.h" // for SearchFilt... 19 #include "lldb/Core/Section.h" 20 #include "lldb/Host/FileSystem.h" 21 #include "lldb/Host/Host.h" 22 #include "lldb/Interpreter/CommandInterpreter.h" 23 #include "lldb/Interpreter/ScriptInterpreter.h" 24 #include "lldb/Symbol/CompileUnit.h" 25 #include "lldb/Symbol/Function.h" // for Function 26 #include "lldb/Symbol/ObjectFile.h" 27 #include "lldb/Symbol/Symbol.h" // for Symbol 28 #include "lldb/Symbol/SymbolContext.h" 29 #include "lldb/Symbol/SymbolFile.h" 30 #include "lldb/Symbol/SymbolVendor.h" 31 #include "lldb/Symbol/Symtab.h" // for Symtab 32 #include "lldb/Symbol/Type.h" // for Type 33 #include "lldb/Symbol/TypeList.h" // for TypeList 34 #include "lldb/Symbol/TypeMap.h" 35 #include "lldb/Symbol/TypeSystem.h" 36 #include "lldb/Target/Language.h" 37 #include "lldb/Target/Platform.h" // for Platform 38 #include "lldb/Target/Process.h" 39 #include "lldb/Target/Target.h" 40 #include "lldb/Utility/DataBufferHeap.h" 41 #include "lldb/Utility/LLDBAssert.h" 42 #include "lldb/Utility/Log.h" 43 #include "lldb/Utility/Logging.h" // for GetLogIfAn... 44 #include "lldb/Utility/RegularExpression.h" 45 #include "lldb/Utility/Status.h" 46 #include "lldb/Utility/Stream.h" // for Stream 47 #include "lldb/Utility/StreamString.h" 48 #include "lldb/Utility/Timer.h" 49 50 #if defined(_WIN32) 51 #include "lldb/Host/windows/PosixApi.h" // for PATH_MAX 52 #endif 53 54 #include "Plugins/Language/CPlusPlus/CPlusPlusLanguage.h" 55 #include "Plugins/Language/ObjC/ObjCLanguage.h" 56 57 #include "llvm/ADT/STLExtras.h" // for make_unique 58 #include "llvm/Support/Compiler.h" // for LLVM_PRETT... 59 #include "llvm/Support/FileSystem.h" 60 #include "llvm/Support/Signals.h" 61 #include "llvm/Support/raw_ostream.h" // for raw_string... 62 63 #include <assert.h> // for assert 64 #include <cstdint> // for uint32_t 65 #include <inttypes.h> // for PRIx64 66 #include <map> // for map 67 #include <stdarg.h> // for va_end 68 #include <string.h> // for size_t 69 #include <type_traits> // for move 70 #include <utility> // for find, pair 71 72 namespace lldb_private { 73 class CompilerDeclContext; 74 } 75 namespace lldb_private { 76 class VariableList; 77 } 78 79 using namespace lldb; 80 using namespace lldb_private; 81 82 // Shared pointers to modules track module lifetimes in targets and in the 83 // global module, but this collection will track all module objects that are 84 // still alive 85 typedef std::vector<Module *> ModuleCollection; 86 87 static ModuleCollection &GetModuleCollection() { 88 // This module collection needs to live past any module, so we could either 89 // make it a shared pointer in each module or just leak is. Since it is only 90 // an empty vector by the time all the modules have gone away, we just leak 91 // it for now. If we decide this is a big problem we can introduce a 92 // Finalize method that will tear everything down in a predictable order. 93 94 static ModuleCollection *g_module_collection = nullptr; 95 if (g_module_collection == nullptr) 96 g_module_collection = new ModuleCollection(); 97 98 return *g_module_collection; 99 } 100 101 std::recursive_mutex &Module::GetAllocationModuleCollectionMutex() { 102 // NOTE: The mutex below must be leaked since the global module list in 103 // the ModuleList class will get torn at some point, and we can't know if it 104 // will tear itself down before the "g_module_collection_mutex" below will. 105 // So we leak a Mutex object below to safeguard against that 106 107 static std::recursive_mutex *g_module_collection_mutex = nullptr; 108 if (g_module_collection_mutex == nullptr) 109 g_module_collection_mutex = new std::recursive_mutex; // NOTE: known leak 110 return *g_module_collection_mutex; 111 } 112 113 size_t Module::GetNumberAllocatedModules() { 114 std::lock_guard<std::recursive_mutex> guard( 115 GetAllocationModuleCollectionMutex()); 116 return GetModuleCollection().size(); 117 } 118 119 Module *Module::GetAllocatedModuleAtIndex(size_t idx) { 120 std::lock_guard<std::recursive_mutex> guard( 121 GetAllocationModuleCollectionMutex()); 122 ModuleCollection &modules = GetModuleCollection(); 123 if (idx < modules.size()) 124 return modules[idx]; 125 return nullptr; 126 } 127 128 Module::Module(const ModuleSpec &module_spec) 129 : m_object_offset(0), m_file_has_changed(false), 130 m_first_file_changed_log(false) { 131 // Scope for locker below... 132 { 133 std::lock_guard<std::recursive_mutex> guard( 134 GetAllocationModuleCollectionMutex()); 135 GetModuleCollection().push_back(this); 136 } 137 138 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_OBJECT | 139 LIBLLDB_LOG_MODULES)); 140 if (log != nullptr) 141 log->Printf("%p Module::Module((%s) '%s%s%s%s')", static_cast<void *>(this), 142 module_spec.GetArchitecture().GetArchitectureName(), 143 module_spec.GetFileSpec().GetPath().c_str(), 144 module_spec.GetObjectName().IsEmpty() ? "" : "(", 145 module_spec.GetObjectName().IsEmpty() 146 ? "" 147 : module_spec.GetObjectName().AsCString(""), 148 module_spec.GetObjectName().IsEmpty() ? "" : ")"); 149 150 // First extract all module specifications from the file using the local file 151 // path. If there are no specifications, then don't fill anything in 152 ModuleSpecList modules_specs; 153 if (ObjectFile::GetModuleSpecifications(module_spec.GetFileSpec(), 0, 0, 154 modules_specs) == 0) 155 return; 156 157 // Now make sure that one of the module specifications matches what we just 158 // extract. We might have a module specification that specifies a file 159 // "/usr/lib/dyld" with UUID XXX, but we might have a local version of 160 // "/usr/lib/dyld" that has 161 // UUID YYY and we don't want those to match. If they don't match, just don't 162 // fill any ivars in so we don't accidentally grab the wrong file later since 163 // they don't match... 164 ModuleSpec matching_module_spec; 165 if (modules_specs.FindMatchingModuleSpec(module_spec, matching_module_spec) == 166 0) 167 return; 168 169 if (module_spec.GetFileSpec()) 170 m_mod_time = FileSystem::GetModificationTime(module_spec.GetFileSpec()); 171 else if (matching_module_spec.GetFileSpec()) 172 m_mod_time = 173 FileSystem::GetModificationTime(matching_module_spec.GetFileSpec()); 174 175 // Copy the architecture from the actual spec if we got one back, else use 176 // the one that was specified 177 if (matching_module_spec.GetArchitecture().IsValid()) 178 m_arch = matching_module_spec.GetArchitecture(); 179 else if (module_spec.GetArchitecture().IsValid()) 180 m_arch = module_spec.GetArchitecture(); 181 182 // Copy the file spec over and use the specified one (if there was one) so we 183 // don't use a path that might have gotten resolved a path in 184 // 'matching_module_spec' 185 if (module_spec.GetFileSpec()) 186 m_file = module_spec.GetFileSpec(); 187 else if (matching_module_spec.GetFileSpec()) 188 m_file = matching_module_spec.GetFileSpec(); 189 190 // Copy the platform file spec over 191 if (module_spec.GetPlatformFileSpec()) 192 m_platform_file = module_spec.GetPlatformFileSpec(); 193 else if (matching_module_spec.GetPlatformFileSpec()) 194 m_platform_file = matching_module_spec.GetPlatformFileSpec(); 195 196 // Copy the symbol file spec over 197 if (module_spec.GetSymbolFileSpec()) 198 m_symfile_spec = module_spec.GetSymbolFileSpec(); 199 else if (matching_module_spec.GetSymbolFileSpec()) 200 m_symfile_spec = matching_module_spec.GetSymbolFileSpec(); 201 202 // Copy the object name over 203 if (matching_module_spec.GetObjectName()) 204 m_object_name = matching_module_spec.GetObjectName(); 205 else 206 m_object_name = module_spec.GetObjectName(); 207 208 // Always trust the object offset (file offset) and object modification time 209 // (for mod time in a BSD static archive) of from the matching module 210 // specification 211 m_object_offset = matching_module_spec.GetObjectOffset(); 212 m_object_mod_time = matching_module_spec.GetObjectModificationTime(); 213 } 214 215 Module::Module(const FileSpec &file_spec, const ArchSpec &arch, 216 const ConstString *object_name, lldb::offset_t object_offset, 217 const llvm::sys::TimePoint<> &object_mod_time) 218 : m_mod_time(FileSystem::GetModificationTime(file_spec)), m_arch(arch), 219 m_file(file_spec), m_object_offset(object_offset), 220 m_object_mod_time(object_mod_time), m_file_has_changed(false), 221 m_first_file_changed_log(false) { 222 // Scope for locker below... 223 { 224 std::lock_guard<std::recursive_mutex> guard( 225 GetAllocationModuleCollectionMutex()); 226 GetModuleCollection().push_back(this); 227 } 228 229 if (object_name) 230 m_object_name = *object_name; 231 232 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_OBJECT | 233 LIBLLDB_LOG_MODULES)); 234 if (log != nullptr) 235 log->Printf("%p Module::Module((%s) '%s%s%s%s')", static_cast<void *>(this), 236 m_arch.GetArchitectureName(), m_file.GetPath().c_str(), 237 m_object_name.IsEmpty() ? "" : "(", 238 m_object_name.IsEmpty() ? "" : m_object_name.AsCString(""), 239 m_object_name.IsEmpty() ? "" : ")"); 240 } 241 242 Module::Module() 243 : m_object_offset(0), m_file_has_changed(false), 244 m_first_file_changed_log(false) { 245 std::lock_guard<std::recursive_mutex> guard( 246 GetAllocationModuleCollectionMutex()); 247 GetModuleCollection().push_back(this); 248 } 249 250 Module::~Module() { 251 // Lock our module down while we tear everything down to make sure we don't 252 // get any access to the module while it is being destroyed 253 std::lock_guard<std::recursive_mutex> guard(m_mutex); 254 // Scope for locker below... 255 { 256 std::lock_guard<std::recursive_mutex> guard( 257 GetAllocationModuleCollectionMutex()); 258 ModuleCollection &modules = GetModuleCollection(); 259 ModuleCollection::iterator end = modules.end(); 260 ModuleCollection::iterator pos = std::find(modules.begin(), end, this); 261 assert(pos != end); 262 modules.erase(pos); 263 } 264 Log *log(lldb_private::GetLogIfAnyCategoriesSet(LIBLLDB_LOG_OBJECT | 265 LIBLLDB_LOG_MODULES)); 266 if (log != nullptr) 267 log->Printf("%p Module::~Module((%s) '%s%s%s%s')", 268 static_cast<void *>(this), m_arch.GetArchitectureName(), 269 m_file.GetPath().c_str(), m_object_name.IsEmpty() ? "" : "(", 270 m_object_name.IsEmpty() ? "" : m_object_name.AsCString(""), 271 m_object_name.IsEmpty() ? "" : ")"); 272 // Release any auto pointers before we start tearing down our member 273 // variables since the object file and symbol files might need to make 274 // function calls back into this module object. The ordering is important 275 // here because symbol files can require the module object file. So we tear 276 // down the symbol file first, then the object file. 277 m_sections_ap.reset(); 278 m_symfile_ap.reset(); 279 m_objfile_sp.reset(); 280 } 281 282 ObjectFile *Module::GetMemoryObjectFile(const lldb::ProcessSP &process_sp, 283 lldb::addr_t header_addr, Status &error, 284 size_t size_to_read) { 285 if (m_objfile_sp) { 286 error.SetErrorString("object file already exists"); 287 } else { 288 std::lock_guard<std::recursive_mutex> guard(m_mutex); 289 if (process_sp) { 290 m_did_load_objfile = true; 291 auto data_ap = llvm::make_unique<DataBufferHeap>(size_to_read, 0); 292 Status readmem_error; 293 const size_t bytes_read = 294 process_sp->ReadMemory(header_addr, data_ap->GetBytes(), 295 data_ap->GetByteSize(), readmem_error); 296 if (bytes_read == size_to_read) { 297 DataBufferSP data_sp(data_ap.release()); 298 m_objfile_sp = ObjectFile::FindPlugin(shared_from_this(), process_sp, 299 header_addr, data_sp); 300 if (m_objfile_sp) { 301 StreamString s; 302 s.Printf("0x%16.16" PRIx64, header_addr); 303 m_object_name.SetString(s.GetString()); 304 305 // Once we get the object file, update our module with the object 306 // file's architecture since it might differ in vendor/os if some 307 // parts were unknown. 308 m_objfile_sp->GetArchitecture(m_arch); 309 } else { 310 error.SetErrorString("unable to find suitable object file plug-in"); 311 } 312 } else { 313 error.SetErrorStringWithFormat("unable to read header from memory: %s", 314 readmem_error.AsCString()); 315 } 316 } else { 317 error.SetErrorString("invalid process"); 318 } 319 } 320 return m_objfile_sp.get(); 321 } 322 323 const lldb_private::UUID &Module::GetUUID() { 324 if (!m_did_set_uuid.load()) { 325 std::lock_guard<std::recursive_mutex> guard(m_mutex); 326 if (!m_did_set_uuid.load()) { 327 ObjectFile *obj_file = GetObjectFile(); 328 329 if (obj_file != nullptr) { 330 obj_file->GetUUID(&m_uuid); 331 m_did_set_uuid = true; 332 } 333 } 334 } 335 return m_uuid; 336 } 337 338 void Module::SetUUID(const lldb_private::UUID &uuid) { 339 std::lock_guard<std::recursive_mutex> guard(m_mutex); 340 if (!m_did_set_uuid) { 341 m_uuid = uuid; 342 m_did_set_uuid = true; 343 } else { 344 lldbassert(0 && "Attempting to overwrite the existing module UUID"); 345 } 346 } 347 348 TypeSystem *Module::GetTypeSystemForLanguage(LanguageType language) { 349 return m_type_system_map.GetTypeSystemForLanguage(language, this, true); 350 } 351 352 void Module::ParseAllDebugSymbols() { 353 std::lock_guard<std::recursive_mutex> guard(m_mutex); 354 size_t num_comp_units = GetNumCompileUnits(); 355 if (num_comp_units == 0) 356 return; 357 358 SymbolContext sc; 359 sc.module_sp = shared_from_this(); 360 SymbolVendor *symbols = GetSymbolVendor(); 361 362 for (size_t cu_idx = 0; cu_idx < num_comp_units; cu_idx++) { 363 sc.comp_unit = symbols->GetCompileUnitAtIndex(cu_idx).get(); 364 if (sc.comp_unit) { 365 sc.function = nullptr; 366 symbols->ParseVariablesForContext(sc); 367 368 symbols->ParseCompileUnitFunctions(sc); 369 370 for (size_t func_idx = 0; 371 (sc.function = sc.comp_unit->GetFunctionAtIndex(func_idx).get()) != 372 nullptr; 373 ++func_idx) { 374 symbols->ParseFunctionBlocks(sc); 375 376 // Parse the variables for this function and all its blocks 377 symbols->ParseVariablesForContext(sc); 378 } 379 380 // Parse all types for this compile unit 381 sc.function = nullptr; 382 symbols->ParseTypes(sc); 383 } 384 } 385 } 386 387 void Module::CalculateSymbolContext(SymbolContext *sc) { 388 sc->module_sp = shared_from_this(); 389 } 390 391 ModuleSP Module::CalculateSymbolContextModule() { return shared_from_this(); } 392 393 void Module::DumpSymbolContext(Stream *s) { 394 s->Printf(", Module{%p}", static_cast<void *>(this)); 395 } 396 397 size_t Module::GetNumCompileUnits() { 398 std::lock_guard<std::recursive_mutex> guard(m_mutex); 399 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 400 Timer scoped_timer(func_cat, "Module::GetNumCompileUnits (module = %p)", 401 static_cast<void *>(this)); 402 SymbolVendor *symbols = GetSymbolVendor(); 403 if (symbols) 404 return symbols->GetNumCompileUnits(); 405 return 0; 406 } 407 408 CompUnitSP Module::GetCompileUnitAtIndex(size_t index) { 409 std::lock_guard<std::recursive_mutex> guard(m_mutex); 410 size_t num_comp_units = GetNumCompileUnits(); 411 CompUnitSP cu_sp; 412 413 if (index < num_comp_units) { 414 SymbolVendor *symbols = GetSymbolVendor(); 415 if (symbols) 416 cu_sp = symbols->GetCompileUnitAtIndex(index); 417 } 418 return cu_sp; 419 } 420 421 bool Module::ResolveFileAddress(lldb::addr_t vm_addr, Address &so_addr) { 422 std::lock_guard<std::recursive_mutex> guard(m_mutex); 423 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 424 Timer scoped_timer(func_cat, 425 "Module::ResolveFileAddress (vm_addr = 0x%" PRIx64 ")", 426 vm_addr); 427 SectionList *section_list = GetSectionList(); 428 if (section_list) 429 return so_addr.ResolveAddressUsingFileSections(vm_addr, section_list); 430 return false; 431 } 432 433 uint32_t Module::ResolveSymbolContextForAddress( 434 const Address &so_addr, uint32_t resolve_scope, SymbolContext &sc, 435 bool resolve_tail_call_address) { 436 std::lock_guard<std::recursive_mutex> guard(m_mutex); 437 uint32_t resolved_flags = 0; 438 439 // Clear the result symbol context in case we don't find anything, but don't 440 // clear the target 441 sc.Clear(false); 442 443 // Get the section from the section/offset address. 444 SectionSP section_sp(so_addr.GetSection()); 445 446 // Make sure the section matches this module before we try and match anything 447 if (section_sp && section_sp->GetModule().get() == this) { 448 // If the section offset based address resolved itself, then this is the 449 // right module. 450 sc.module_sp = shared_from_this(); 451 resolved_flags |= eSymbolContextModule; 452 453 SymbolVendor *sym_vendor = GetSymbolVendor(); 454 if (!sym_vendor) 455 return resolved_flags; 456 457 // Resolve the compile unit, function, block, line table or line entry if 458 // requested. 459 if (resolve_scope & eSymbolContextCompUnit || 460 resolve_scope & eSymbolContextFunction || 461 resolve_scope & eSymbolContextBlock || 462 resolve_scope & eSymbolContextLineEntry || 463 resolve_scope & eSymbolContextVariable) { 464 resolved_flags |= 465 sym_vendor->ResolveSymbolContext(so_addr, resolve_scope, sc); 466 } 467 468 // Resolve the symbol if requested, but don't re-look it up if we've 469 // already found it. 470 if (resolve_scope & eSymbolContextSymbol && 471 !(resolved_flags & eSymbolContextSymbol)) { 472 Symtab *symtab = sym_vendor->GetSymtab(); 473 if (symtab && so_addr.IsSectionOffset()) { 474 Symbol *matching_symbol = nullptr; 475 476 symtab->ForEachSymbolContainingFileAddress( 477 so_addr.GetFileAddress(), 478 [&matching_symbol](Symbol *symbol) -> bool { 479 if (symbol->GetType() != eSymbolTypeInvalid) { 480 matching_symbol = symbol; 481 return false; // Stop iterating 482 } 483 return true; // Keep iterating 484 }); 485 sc.symbol = matching_symbol; 486 if (!sc.symbol && resolve_scope & eSymbolContextFunction && 487 !(resolved_flags & eSymbolContextFunction)) { 488 bool verify_unique = false; // No need to check again since 489 // ResolveSymbolContext failed to find a 490 // symbol at this address. 491 if (ObjectFile *obj_file = sc.module_sp->GetObjectFile()) 492 sc.symbol = 493 obj_file->ResolveSymbolForAddress(so_addr, verify_unique); 494 } 495 496 if (sc.symbol) { 497 if (sc.symbol->IsSynthetic()) { 498 // We have a synthetic symbol so lets check if the object file from 499 // the symbol file in the symbol vendor is different than the 500 // object file for the module, and if so search its symbol table to 501 // see if we can come up with a better symbol. For example dSYM 502 // files on MacOSX have an unstripped symbol table inside of them. 503 ObjectFile *symtab_objfile = symtab->GetObjectFile(); 504 if (symtab_objfile && symtab_objfile->IsStripped()) { 505 SymbolFile *symfile = sym_vendor->GetSymbolFile(); 506 if (symfile) { 507 ObjectFile *symfile_objfile = symfile->GetObjectFile(); 508 if (symfile_objfile != symtab_objfile) { 509 Symtab *symfile_symtab = symfile_objfile->GetSymtab(); 510 if (symfile_symtab) { 511 Symbol *symbol = 512 symfile_symtab->FindSymbolContainingFileAddress( 513 so_addr.GetFileAddress()); 514 if (symbol && !symbol->IsSynthetic()) { 515 sc.symbol = symbol; 516 } 517 } 518 } 519 } 520 } 521 } 522 resolved_flags |= eSymbolContextSymbol; 523 } 524 } 525 } 526 527 // For function symbols, so_addr may be off by one. This is a convention 528 // consistent with FDE row indices in eh_frame sections, but requires extra 529 // logic here to permit symbol lookup for disassembly and unwind. 530 if (resolve_scope & eSymbolContextSymbol && 531 !(resolved_flags & eSymbolContextSymbol) && resolve_tail_call_address && 532 so_addr.IsSectionOffset()) { 533 Address previous_addr = so_addr; 534 previous_addr.Slide(-1); 535 536 bool do_resolve_tail_call_address = false; // prevent recursion 537 const uint32_t flags = ResolveSymbolContextForAddress( 538 previous_addr, resolve_scope, sc, do_resolve_tail_call_address); 539 if (flags & eSymbolContextSymbol) { 540 AddressRange addr_range; 541 if (sc.GetAddressRange(eSymbolContextFunction | eSymbolContextSymbol, 0, 542 false, addr_range)) { 543 if (addr_range.GetBaseAddress().GetSection() == 544 so_addr.GetSection()) { 545 // If the requested address is one past the address range of a 546 // function (i.e. a tail call), or the decremented address is the 547 // start of a function (i.e. some forms of trampoline), indicate 548 // that the symbol has been resolved. 549 if (so_addr.GetOffset() == 550 addr_range.GetBaseAddress().GetOffset() || 551 so_addr.GetOffset() == 552 addr_range.GetBaseAddress().GetOffset() + 553 addr_range.GetByteSize()) { 554 resolved_flags |= flags; 555 } 556 } else { 557 sc.symbol = 558 nullptr; // Don't trust the symbol if the sections didn't match. 559 } 560 } 561 } 562 } 563 } 564 return resolved_flags; 565 } 566 567 uint32_t Module::ResolveSymbolContextForFilePath(const char *file_path, 568 uint32_t line, 569 bool check_inlines, 570 uint32_t resolve_scope, 571 SymbolContextList &sc_list) { 572 FileSpec file_spec(file_path, false); 573 return ResolveSymbolContextsForFileSpec(file_spec, line, check_inlines, 574 resolve_scope, sc_list); 575 } 576 577 uint32_t Module::ResolveSymbolContextsForFileSpec(const FileSpec &file_spec, 578 uint32_t line, 579 bool check_inlines, 580 uint32_t resolve_scope, 581 SymbolContextList &sc_list) { 582 std::lock_guard<std::recursive_mutex> guard(m_mutex); 583 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 584 Timer scoped_timer(func_cat, 585 "Module::ResolveSymbolContextForFilePath (%s:%u, " 586 "check_inlines = %s, resolve_scope = 0x%8.8x)", 587 file_spec.GetPath().c_str(), line, 588 check_inlines ? "yes" : "no", resolve_scope); 589 590 const uint32_t initial_count = sc_list.GetSize(); 591 592 SymbolVendor *symbols = GetSymbolVendor(); 593 if (symbols) 594 symbols->ResolveSymbolContext(file_spec, line, check_inlines, resolve_scope, 595 sc_list); 596 597 return sc_list.GetSize() - initial_count; 598 } 599 600 size_t Module::FindGlobalVariables(const ConstString &name, 601 const CompilerDeclContext *parent_decl_ctx, 602 bool append, size_t max_matches, 603 VariableList &variables) { 604 SymbolVendor *symbols = GetSymbolVendor(); 605 if (symbols) 606 return symbols->FindGlobalVariables(name, parent_decl_ctx, append, 607 max_matches, variables); 608 return 0; 609 } 610 611 size_t Module::FindGlobalVariables(const RegularExpression ®ex, bool append, 612 size_t max_matches, 613 VariableList &variables) { 614 SymbolVendor *symbols = GetSymbolVendor(); 615 if (symbols) 616 return symbols->FindGlobalVariables(regex, append, max_matches, variables); 617 return 0; 618 } 619 620 size_t Module::FindCompileUnits(const FileSpec &path, bool append, 621 SymbolContextList &sc_list) { 622 if (!append) 623 sc_list.Clear(); 624 625 const size_t start_size = sc_list.GetSize(); 626 const size_t num_compile_units = GetNumCompileUnits(); 627 SymbolContext sc; 628 sc.module_sp = shared_from_this(); 629 const bool compare_directory = (bool)path.GetDirectory(); 630 for (size_t i = 0; i < num_compile_units; ++i) { 631 sc.comp_unit = GetCompileUnitAtIndex(i).get(); 632 if (sc.comp_unit) { 633 if (FileSpec::Equal(*sc.comp_unit, path, compare_directory)) 634 sc_list.Append(sc); 635 } 636 } 637 return sc_list.GetSize() - start_size; 638 } 639 640 Module::LookupInfo::LookupInfo(const ConstString &name, uint32_t name_type_mask, 641 lldb::LanguageType language) 642 : m_name(name), m_lookup_name(), m_language(language), m_name_type_mask(0), 643 m_match_name_after_lookup(false) { 644 const char *name_cstr = name.GetCString(); 645 llvm::StringRef basename; 646 llvm::StringRef context; 647 648 if (name_type_mask & eFunctionNameTypeAuto) { 649 if (CPlusPlusLanguage::IsCPPMangledName(name_cstr)) 650 m_name_type_mask = eFunctionNameTypeFull; 651 else if ((language == eLanguageTypeUnknown || 652 Language::LanguageIsObjC(language)) && 653 ObjCLanguage::IsPossibleObjCMethodName(name_cstr)) 654 m_name_type_mask = eFunctionNameTypeFull; 655 else if (Language::LanguageIsC(language)) { 656 m_name_type_mask = eFunctionNameTypeFull; 657 } else { 658 if ((language == eLanguageTypeUnknown || 659 Language::LanguageIsObjC(language)) && 660 ObjCLanguage::IsPossibleObjCSelector(name_cstr)) 661 m_name_type_mask |= eFunctionNameTypeSelector; 662 663 CPlusPlusLanguage::MethodName cpp_method(name); 664 basename = cpp_method.GetBasename(); 665 if (basename.empty()) { 666 if (CPlusPlusLanguage::ExtractContextAndIdentifier(name_cstr, context, 667 basename)) 668 m_name_type_mask |= (eFunctionNameTypeMethod | eFunctionNameTypeBase); 669 else 670 m_name_type_mask |= eFunctionNameTypeFull; 671 } else { 672 m_name_type_mask |= (eFunctionNameTypeMethod | eFunctionNameTypeBase); 673 } 674 } 675 } else { 676 m_name_type_mask = name_type_mask; 677 if (name_type_mask & eFunctionNameTypeMethod || 678 name_type_mask & eFunctionNameTypeBase) { 679 // If they've asked for a CPP method or function name and it can't be 680 // that, we don't even need to search for CPP methods or names. 681 CPlusPlusLanguage::MethodName cpp_method(name); 682 if (cpp_method.IsValid()) { 683 basename = cpp_method.GetBasename(); 684 685 if (!cpp_method.GetQualifiers().empty()) { 686 // There is a "const" or other qualifier following the end of the 687 // function parens, this can't be a eFunctionNameTypeBase 688 m_name_type_mask &= ~(eFunctionNameTypeBase); 689 if (m_name_type_mask == eFunctionNameTypeNone) 690 return; 691 } 692 } else { 693 // If the CPP method parser didn't manage to chop this up, try to fill 694 // in the base name if we can. If a::b::c is passed in, we need to just 695 // look up "c", and then we'll filter the result later. 696 CPlusPlusLanguage::ExtractContextAndIdentifier(name_cstr, context, 697 basename); 698 } 699 } 700 701 if (name_type_mask & eFunctionNameTypeSelector) { 702 if (!ObjCLanguage::IsPossibleObjCSelector(name_cstr)) { 703 m_name_type_mask &= ~(eFunctionNameTypeSelector); 704 if (m_name_type_mask == eFunctionNameTypeNone) 705 return; 706 } 707 } 708 709 // Still try and get a basename in case someone specifies a name type mask 710 // of eFunctionNameTypeFull and a name like "A::func" 711 if (basename.empty()) { 712 if (name_type_mask & eFunctionNameTypeFull && 713 !CPlusPlusLanguage::IsCPPMangledName(name_cstr)) { 714 CPlusPlusLanguage::MethodName cpp_method(name); 715 basename = cpp_method.GetBasename(); 716 if (basename.empty()) 717 CPlusPlusLanguage::ExtractContextAndIdentifier(name_cstr, context, 718 basename); 719 } 720 } 721 } 722 723 if (!basename.empty()) { 724 // The name supplied was a partial C++ path like "a::count". In this case 725 // we want to do a lookup on the basename "count" and then make sure any 726 // matching results contain "a::count" so that it would match "b::a::count" 727 // and "a::count". This is why we set "match_name_after_lookup" to true 728 m_lookup_name.SetString(basename); 729 m_match_name_after_lookup = true; 730 } else { 731 // The name is already correct, just use the exact name as supplied, and we 732 // won't need to check if any matches contain "name" 733 m_lookup_name = name; 734 m_match_name_after_lookup = false; 735 } 736 } 737 738 void Module::LookupInfo::Prune(SymbolContextList &sc_list, 739 size_t start_idx) const { 740 if (m_match_name_after_lookup && m_name) { 741 SymbolContext sc; 742 size_t i = start_idx; 743 while (i < sc_list.GetSize()) { 744 if (!sc_list.GetContextAtIndex(i, sc)) 745 break; 746 ConstString full_name(sc.GetFunctionName()); 747 if (full_name && 748 ::strstr(full_name.GetCString(), m_name.GetCString()) == nullptr) { 749 sc_list.RemoveContextAtIndex(i); 750 } else { 751 ++i; 752 } 753 } 754 } 755 756 // If we have only full name matches we might have tried to set breakpoint on 757 // "func" and specified eFunctionNameTypeFull, but we might have found 758 // "a::func()", "a::b::func()", "c::func()", "func()" and "func". Only 759 // "func()" and "func" should end up matching. 760 if (m_name_type_mask == eFunctionNameTypeFull) { 761 SymbolContext sc; 762 size_t i = start_idx; 763 while (i < sc_list.GetSize()) { 764 if (!sc_list.GetContextAtIndex(i, sc)) 765 break; 766 // Make sure the mangled and demangled names don't match before we try to 767 // pull anything out 768 ConstString mangled_name(sc.GetFunctionName(Mangled::ePreferMangled)); 769 ConstString full_name(sc.GetFunctionName()); 770 if (mangled_name != m_name && full_name != m_name) 771 { 772 CPlusPlusLanguage::MethodName cpp_method(full_name); 773 if (cpp_method.IsValid()) { 774 if (cpp_method.GetContext().empty()) { 775 if (cpp_method.GetBasename().compare(m_name.GetStringRef()) != 0) { 776 sc_list.RemoveContextAtIndex(i); 777 continue; 778 } 779 } else { 780 std::string qualified_name; 781 llvm::StringRef anon_prefix("(anonymous namespace)"); 782 if (cpp_method.GetContext() == anon_prefix) 783 qualified_name = cpp_method.GetBasename().str(); 784 else 785 qualified_name = cpp_method.GetScopeQualifiedName(); 786 if (qualified_name.compare(m_name.GetCString()) != 0) { 787 sc_list.RemoveContextAtIndex(i); 788 continue; 789 } 790 } 791 } 792 } 793 ++i; 794 } 795 } 796 } 797 798 size_t Module::FindFunctions(const ConstString &name, 799 const CompilerDeclContext *parent_decl_ctx, 800 uint32_t name_type_mask, bool include_symbols, 801 bool include_inlines, bool append, 802 SymbolContextList &sc_list) { 803 if (!append) 804 sc_list.Clear(); 805 806 const size_t old_size = sc_list.GetSize(); 807 808 // Find all the functions (not symbols, but debug information functions... 809 SymbolVendor *symbols = GetSymbolVendor(); 810 811 if (name_type_mask & eFunctionNameTypeAuto) { 812 LookupInfo lookup_info(name, name_type_mask, eLanguageTypeUnknown); 813 814 if (symbols) { 815 symbols->FindFunctions(lookup_info.GetLookupName(), parent_decl_ctx, 816 lookup_info.GetNameTypeMask(), include_inlines, 817 append, sc_list); 818 819 // Now check our symbol table for symbols that are code symbols if 820 // requested 821 if (include_symbols) { 822 Symtab *symtab = symbols->GetSymtab(); 823 if (symtab) 824 symtab->FindFunctionSymbols(lookup_info.GetLookupName(), 825 lookup_info.GetNameTypeMask(), sc_list); 826 } 827 } 828 829 const size_t new_size = sc_list.GetSize(); 830 831 if (old_size < new_size) 832 lookup_info.Prune(sc_list, old_size); 833 } else { 834 if (symbols) { 835 symbols->FindFunctions(name, parent_decl_ctx, name_type_mask, 836 include_inlines, append, sc_list); 837 838 // Now check our symbol table for symbols that are code symbols if 839 // requested 840 if (include_symbols) { 841 Symtab *symtab = symbols->GetSymtab(); 842 if (symtab) 843 symtab->FindFunctionSymbols(name, name_type_mask, sc_list); 844 } 845 } 846 } 847 848 return sc_list.GetSize() - old_size; 849 } 850 851 size_t Module::FindFunctions(const RegularExpression ®ex, 852 bool include_symbols, bool include_inlines, 853 bool append, SymbolContextList &sc_list) { 854 if (!append) 855 sc_list.Clear(); 856 857 const size_t start_size = sc_list.GetSize(); 858 859 SymbolVendor *symbols = GetSymbolVendor(); 860 if (symbols) { 861 symbols->FindFunctions(regex, include_inlines, append, sc_list); 862 863 // Now check our symbol table for symbols that are code symbols if 864 // requested 865 if (include_symbols) { 866 Symtab *symtab = symbols->GetSymtab(); 867 if (symtab) { 868 std::vector<uint32_t> symbol_indexes; 869 symtab->AppendSymbolIndexesMatchingRegExAndType( 870 regex, eSymbolTypeAny, Symtab::eDebugAny, Symtab::eVisibilityAny, 871 symbol_indexes); 872 const size_t num_matches = symbol_indexes.size(); 873 if (num_matches) { 874 SymbolContext sc(this); 875 const size_t end_functions_added_index = sc_list.GetSize(); 876 size_t num_functions_added_to_sc_list = 877 end_functions_added_index - start_size; 878 if (num_functions_added_to_sc_list == 0) { 879 // No functions were added, just symbols, so we can just append 880 // them 881 for (size_t i = 0; i < num_matches; ++i) { 882 sc.symbol = symtab->SymbolAtIndex(symbol_indexes[i]); 883 SymbolType sym_type = sc.symbol->GetType(); 884 if (sc.symbol && (sym_type == eSymbolTypeCode || 885 sym_type == eSymbolTypeResolver)) 886 sc_list.Append(sc); 887 } 888 } else { 889 typedef std::map<lldb::addr_t, uint32_t> FileAddrToIndexMap; 890 FileAddrToIndexMap file_addr_to_index; 891 for (size_t i = start_size; i < end_functions_added_index; ++i) { 892 const SymbolContext &sc = sc_list[i]; 893 if (sc.block) 894 continue; 895 file_addr_to_index[sc.function->GetAddressRange() 896 .GetBaseAddress() 897 .GetFileAddress()] = i; 898 } 899 900 FileAddrToIndexMap::const_iterator end = file_addr_to_index.end(); 901 // Functions were added so we need to merge symbols into any 902 // existing function symbol contexts 903 for (size_t i = start_size; i < num_matches; ++i) { 904 sc.symbol = symtab->SymbolAtIndex(symbol_indexes[i]); 905 SymbolType sym_type = sc.symbol->GetType(); 906 if (sc.symbol && sc.symbol->ValueIsAddress() && 907 (sym_type == eSymbolTypeCode || 908 sym_type == eSymbolTypeResolver)) { 909 FileAddrToIndexMap::const_iterator pos = 910 file_addr_to_index.find( 911 sc.symbol->GetAddressRef().GetFileAddress()); 912 if (pos == end) 913 sc_list.Append(sc); 914 else 915 sc_list[pos->second].symbol = sc.symbol; 916 } 917 } 918 } 919 } 920 } 921 } 922 } 923 return sc_list.GetSize() - start_size; 924 } 925 926 void Module::FindAddressesForLine(const lldb::TargetSP target_sp, 927 const FileSpec &file, uint32_t line, 928 Function *function, 929 std::vector<Address> &output_local, 930 std::vector<Address> &output_extern) { 931 SearchFilterByModule filter(target_sp, m_file); 932 AddressResolverFileLine resolver(file, line, true); 933 resolver.ResolveAddress(filter); 934 935 for (size_t n = 0; n < resolver.GetNumberOfAddresses(); n++) { 936 Address addr = resolver.GetAddressRangeAtIndex(n).GetBaseAddress(); 937 Function *f = addr.CalculateSymbolContextFunction(); 938 if (f && f == function) 939 output_local.push_back(addr); 940 else 941 output_extern.push_back(addr); 942 } 943 } 944 945 size_t Module::FindTypes_Impl( 946 const SymbolContext &sc, const ConstString &name, 947 const CompilerDeclContext *parent_decl_ctx, bool append, size_t max_matches, 948 llvm::DenseSet<lldb_private::SymbolFile *> &searched_symbol_files, 949 TypeMap &types) { 950 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 951 Timer scoped_timer(func_cat, LLVM_PRETTY_FUNCTION); 952 if (!sc.module_sp || sc.module_sp.get() == this) { 953 SymbolVendor *symbols = GetSymbolVendor(); 954 if (symbols) 955 return symbols->FindTypes(sc, name, parent_decl_ctx, append, max_matches, 956 searched_symbol_files, types); 957 } 958 return 0; 959 } 960 961 size_t Module::FindTypesInNamespace(const SymbolContext &sc, 962 const ConstString &type_name, 963 const CompilerDeclContext *parent_decl_ctx, 964 size_t max_matches, TypeList &type_list) { 965 const bool append = true; 966 TypeMap types_map; 967 llvm::DenseSet<lldb_private::SymbolFile *> searched_symbol_files; 968 size_t num_types = 969 FindTypes_Impl(sc, type_name, parent_decl_ctx, append, max_matches, 970 searched_symbol_files, types_map); 971 if (num_types > 0) 972 sc.SortTypeList(types_map, type_list); 973 return num_types; 974 } 975 976 lldb::TypeSP Module::FindFirstType(const SymbolContext &sc, 977 const ConstString &name, bool exact_match) { 978 TypeList type_list; 979 llvm::DenseSet<lldb_private::SymbolFile *> searched_symbol_files; 980 const size_t num_matches = 981 FindTypes(sc, name, exact_match, 1, searched_symbol_files, type_list); 982 if (num_matches) 983 return type_list.GetTypeAtIndex(0); 984 return TypeSP(); 985 } 986 987 size_t Module::FindTypes( 988 const SymbolContext &sc, const ConstString &name, bool exact_match, 989 size_t max_matches, 990 llvm::DenseSet<lldb_private::SymbolFile *> &searched_symbol_files, 991 TypeList &types) { 992 size_t num_matches = 0; 993 const char *type_name_cstr = name.GetCString(); 994 llvm::StringRef type_scope; 995 llvm::StringRef type_basename; 996 const bool append = true; 997 TypeClass type_class = eTypeClassAny; 998 TypeMap typesmap; 999 1000 if (Type::GetTypeScopeAndBasename(type_name_cstr, type_scope, type_basename, 1001 type_class)) { 1002 // Check if "name" starts with "::" which means the qualified type starts 1003 // from the root namespace and implies and exact match. The typenames we 1004 // get back from clang do not start with "::" so we need to strip this off 1005 // in order to get the qualified names to match 1006 exact_match = type_scope.consume_front("::"); 1007 1008 ConstString type_basename_const_str(type_basename); 1009 if (FindTypes_Impl(sc, type_basename_const_str, nullptr, append, 1010 max_matches, searched_symbol_files, typesmap)) { 1011 typesmap.RemoveMismatchedTypes(type_scope, type_basename, type_class, 1012 exact_match); 1013 num_matches = typesmap.GetSize(); 1014 } 1015 } else { 1016 // The type is not in a namespace/class scope, just search for it by 1017 // basename 1018 if (type_class != eTypeClassAny && !type_basename.empty()) { 1019 // The "type_name_cstr" will have been modified if we have a valid type 1020 // class prefix (like "struct", "class", "union", "typedef" etc). 1021 FindTypes_Impl(sc, ConstString(type_basename), nullptr, append, 1022 UINT_MAX, searched_symbol_files, typesmap); 1023 typesmap.RemoveMismatchedTypes(type_scope, type_basename, type_class, 1024 exact_match); 1025 num_matches = typesmap.GetSize(); 1026 } else { 1027 num_matches = FindTypes_Impl(sc, name, nullptr, append, UINT_MAX, 1028 searched_symbol_files, typesmap); 1029 if (exact_match) { 1030 std::string name_str(name.AsCString("")); 1031 typesmap.RemoveMismatchedTypes(type_scope, name_str, type_class, 1032 exact_match); 1033 } 1034 } 1035 } 1036 if (num_matches > 0) 1037 sc.SortTypeList(typesmap, types); 1038 return num_matches; 1039 } 1040 1041 SymbolVendor *Module::GetSymbolVendor(bool can_create, 1042 lldb_private::Stream *feedback_strm) { 1043 if (!m_did_load_symbol_vendor.load()) { 1044 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1045 if (!m_did_load_symbol_vendor.load() && can_create) { 1046 ObjectFile *obj_file = GetObjectFile(); 1047 if (obj_file != nullptr) { 1048 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1049 Timer scoped_timer(func_cat, LLVM_PRETTY_FUNCTION); 1050 m_symfile_ap.reset( 1051 SymbolVendor::FindPlugin(shared_from_this(), feedback_strm)); 1052 m_did_load_symbol_vendor = true; 1053 } 1054 } 1055 } 1056 return m_symfile_ap.get(); 1057 } 1058 1059 void Module::SetFileSpecAndObjectName(const FileSpec &file, 1060 const ConstString &object_name) { 1061 // Container objects whose paths do not specify a file directly can call this 1062 // function to correct the file and object names. 1063 m_file = file; 1064 m_mod_time = FileSystem::GetModificationTime(file); 1065 m_object_name = object_name; 1066 } 1067 1068 const ArchSpec &Module::GetArchitecture() const { return m_arch; } 1069 1070 std::string Module::GetSpecificationDescription() const { 1071 std::string spec(GetFileSpec().GetPath()); 1072 if (m_object_name) { 1073 spec += '('; 1074 spec += m_object_name.GetCString(); 1075 spec += ')'; 1076 } 1077 return spec; 1078 } 1079 1080 void Module::GetDescription(Stream *s, lldb::DescriptionLevel level) { 1081 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1082 1083 if (level >= eDescriptionLevelFull) { 1084 if (m_arch.IsValid()) 1085 s->Printf("(%s) ", m_arch.GetArchitectureName()); 1086 } 1087 1088 if (level == eDescriptionLevelBrief) { 1089 const char *filename = m_file.GetFilename().GetCString(); 1090 if (filename) 1091 s->PutCString(filename); 1092 } else { 1093 char path[PATH_MAX]; 1094 if (m_file.GetPath(path, sizeof(path))) 1095 s->PutCString(path); 1096 } 1097 1098 const char *object_name = m_object_name.GetCString(); 1099 if (object_name) 1100 s->Printf("(%s)", object_name); 1101 } 1102 1103 void Module::ReportError(const char *format, ...) { 1104 if (format && format[0]) { 1105 StreamString strm; 1106 strm.PutCString("error: "); 1107 GetDescription(&strm, lldb::eDescriptionLevelBrief); 1108 strm.PutChar(' '); 1109 va_list args; 1110 va_start(args, format); 1111 strm.PrintfVarArg(format, args); 1112 va_end(args); 1113 1114 const int format_len = strlen(format); 1115 if (format_len > 0) { 1116 const char last_char = format[format_len - 1]; 1117 if (last_char != '\n' || last_char != '\r') 1118 strm.EOL(); 1119 } 1120 Host::SystemLog(Host::eSystemLogError, "%s", strm.GetData()); 1121 } 1122 } 1123 1124 bool Module::FileHasChanged() const { 1125 if (!m_file_has_changed) 1126 m_file_has_changed = 1127 (FileSystem::GetModificationTime(m_file) != m_mod_time); 1128 return m_file_has_changed; 1129 } 1130 1131 void Module::ReportErrorIfModifyDetected(const char *format, ...) { 1132 if (!m_first_file_changed_log) { 1133 if (FileHasChanged()) { 1134 m_first_file_changed_log = true; 1135 if (format) { 1136 StreamString strm; 1137 strm.PutCString("error: the object file "); 1138 GetDescription(&strm, lldb::eDescriptionLevelFull); 1139 strm.PutCString(" has been modified\n"); 1140 1141 va_list args; 1142 va_start(args, format); 1143 strm.PrintfVarArg(format, args); 1144 va_end(args); 1145 1146 const int format_len = strlen(format); 1147 if (format_len > 0) { 1148 const char last_char = format[format_len - 1]; 1149 if (last_char != '\n' || last_char != '\r') 1150 strm.EOL(); 1151 } 1152 strm.PutCString("The debug session should be aborted as the original " 1153 "debug information has been overwritten.\n"); 1154 Host::SystemLog(Host::eSystemLogError, "%s", strm.GetData()); 1155 } 1156 } 1157 } 1158 } 1159 1160 void Module::ReportWarning(const char *format, ...) { 1161 if (format && format[0]) { 1162 StreamString strm; 1163 strm.PutCString("warning: "); 1164 GetDescription(&strm, lldb::eDescriptionLevelFull); 1165 strm.PutChar(' '); 1166 1167 va_list args; 1168 va_start(args, format); 1169 strm.PrintfVarArg(format, args); 1170 va_end(args); 1171 1172 const int format_len = strlen(format); 1173 if (format_len > 0) { 1174 const char last_char = format[format_len - 1]; 1175 if (last_char != '\n' || last_char != '\r') 1176 strm.EOL(); 1177 } 1178 Host::SystemLog(Host::eSystemLogWarning, "%s", strm.GetData()); 1179 } 1180 } 1181 1182 void Module::LogMessage(Log *log, const char *format, ...) { 1183 if (log != nullptr) { 1184 StreamString log_message; 1185 GetDescription(&log_message, lldb::eDescriptionLevelFull); 1186 log_message.PutCString(": "); 1187 va_list args; 1188 va_start(args, format); 1189 log_message.PrintfVarArg(format, args); 1190 va_end(args); 1191 log->PutCString(log_message.GetData()); 1192 } 1193 } 1194 1195 void Module::LogMessageVerboseBacktrace(Log *log, const char *format, ...) { 1196 if (log != nullptr) { 1197 StreamString log_message; 1198 GetDescription(&log_message, lldb::eDescriptionLevelFull); 1199 log_message.PutCString(": "); 1200 va_list args; 1201 va_start(args, format); 1202 log_message.PrintfVarArg(format, args); 1203 va_end(args); 1204 if (log->GetVerbose()) { 1205 std::string back_trace; 1206 llvm::raw_string_ostream stream(back_trace); 1207 llvm::sys::PrintStackTrace(stream); 1208 log_message.PutCString(back_trace); 1209 } 1210 log->PutCString(log_message.GetData()); 1211 } 1212 } 1213 1214 void Module::Dump(Stream *s) { 1215 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1216 // s->Printf("%.*p: ", (int)sizeof(void*) * 2, this); 1217 s->Indent(); 1218 s->Printf("Module %s%s%s%s\n", m_file.GetPath().c_str(), 1219 m_object_name ? "(" : "", 1220 m_object_name ? m_object_name.GetCString() : "", 1221 m_object_name ? ")" : ""); 1222 1223 s->IndentMore(); 1224 1225 ObjectFile *objfile = GetObjectFile(); 1226 if (objfile) 1227 objfile->Dump(s); 1228 1229 SymbolVendor *symbols = GetSymbolVendor(); 1230 if (symbols) 1231 symbols->Dump(s); 1232 1233 s->IndentLess(); 1234 } 1235 1236 TypeList *Module::GetTypeList() { 1237 SymbolVendor *symbols = GetSymbolVendor(); 1238 if (symbols) 1239 return &symbols->GetTypeList(); 1240 return nullptr; 1241 } 1242 1243 const ConstString &Module::GetObjectName() const { return m_object_name; } 1244 1245 ObjectFile *Module::GetObjectFile() { 1246 if (!m_did_load_objfile.load()) { 1247 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1248 if (!m_did_load_objfile.load()) { 1249 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1250 Timer scoped_timer(func_cat, "Module::GetObjectFile () module = %s", 1251 GetFileSpec().GetFilename().AsCString("")); 1252 DataBufferSP data_sp; 1253 lldb::offset_t data_offset = 0; 1254 const lldb::offset_t file_size = m_file.GetByteSize(); 1255 if (file_size > m_object_offset) { 1256 m_did_load_objfile = true; 1257 m_objfile_sp = ObjectFile::FindPlugin( 1258 shared_from_this(), &m_file, m_object_offset, 1259 file_size - m_object_offset, data_sp, data_offset); 1260 if (m_objfile_sp) { 1261 // Once we get the object file, update our module with the object 1262 // file's architecture since it might differ in vendor/os if some 1263 // parts were unknown. But since the matching arch might already be 1264 // more specific than the generic COFF architecture, only merge in 1265 // those values that overwrite unspecified unknown values. 1266 ArchSpec new_arch; 1267 m_objfile_sp->GetArchitecture(new_arch); 1268 m_arch.MergeFrom(new_arch); 1269 } else { 1270 ReportError("failed to load objfile for %s", 1271 GetFileSpec().GetPath().c_str()); 1272 } 1273 } 1274 } 1275 } 1276 return m_objfile_sp.get(); 1277 } 1278 1279 SectionList *Module::GetSectionList() { 1280 // Populate m_sections_ap with sections from objfile. 1281 if (!m_sections_ap) { 1282 ObjectFile *obj_file = GetObjectFile(); 1283 if (obj_file != nullptr) 1284 obj_file->CreateSections(*GetUnifiedSectionList()); 1285 } 1286 return m_sections_ap.get(); 1287 } 1288 1289 void Module::SectionFileAddressesChanged() { 1290 ObjectFile *obj_file = GetObjectFile(); 1291 if (obj_file) 1292 obj_file->SectionFileAddressesChanged(); 1293 SymbolVendor *sym_vendor = GetSymbolVendor(); 1294 if (sym_vendor != nullptr) 1295 sym_vendor->SectionFileAddressesChanged(); 1296 } 1297 1298 SectionList *Module::GetUnifiedSectionList() { 1299 if (!m_sections_ap) 1300 m_sections_ap = llvm::make_unique<SectionList>(); 1301 return m_sections_ap.get(); 1302 } 1303 1304 const Symbol *Module::FindFirstSymbolWithNameAndType(const ConstString &name, 1305 SymbolType symbol_type) { 1306 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1307 Timer scoped_timer( 1308 func_cat, "Module::FindFirstSymbolWithNameAndType (name = %s, type = %i)", 1309 name.AsCString(), symbol_type); 1310 SymbolVendor *sym_vendor = GetSymbolVendor(); 1311 if (sym_vendor) { 1312 Symtab *symtab = sym_vendor->GetSymtab(); 1313 if (symtab) 1314 return symtab->FindFirstSymbolWithNameAndType( 1315 name, symbol_type, Symtab::eDebugAny, Symtab::eVisibilityAny); 1316 } 1317 return nullptr; 1318 } 1319 void Module::SymbolIndicesToSymbolContextList( 1320 Symtab *symtab, std::vector<uint32_t> &symbol_indexes, 1321 SymbolContextList &sc_list) { 1322 // No need to protect this call using m_mutex all other method calls are 1323 // already thread safe. 1324 1325 size_t num_indices = symbol_indexes.size(); 1326 if (num_indices > 0) { 1327 SymbolContext sc; 1328 CalculateSymbolContext(&sc); 1329 for (size_t i = 0; i < num_indices; i++) { 1330 sc.symbol = symtab->SymbolAtIndex(symbol_indexes[i]); 1331 if (sc.symbol) 1332 sc_list.Append(sc); 1333 } 1334 } 1335 } 1336 1337 size_t Module::FindFunctionSymbols(const ConstString &name, 1338 uint32_t name_type_mask, 1339 SymbolContextList &sc_list) { 1340 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1341 Timer scoped_timer(func_cat, 1342 "Module::FindSymbolsFunctions (name = %s, mask = 0x%8.8x)", 1343 name.AsCString(), name_type_mask); 1344 SymbolVendor *sym_vendor = GetSymbolVendor(); 1345 if (sym_vendor) { 1346 Symtab *symtab = sym_vendor->GetSymtab(); 1347 if (symtab) 1348 return symtab->FindFunctionSymbols(name, name_type_mask, sc_list); 1349 } 1350 return 0; 1351 } 1352 1353 size_t Module::FindSymbolsWithNameAndType(const ConstString &name, 1354 SymbolType symbol_type, 1355 SymbolContextList &sc_list) { 1356 // No need to protect this call using m_mutex all other method calls are 1357 // already thread safe. 1358 1359 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1360 Timer scoped_timer( 1361 func_cat, "Module::FindSymbolsWithNameAndType (name = %s, type = %i)", 1362 name.AsCString(), symbol_type); 1363 const size_t initial_size = sc_list.GetSize(); 1364 SymbolVendor *sym_vendor = GetSymbolVendor(); 1365 if (sym_vendor) { 1366 Symtab *symtab = sym_vendor->GetSymtab(); 1367 if (symtab) { 1368 std::vector<uint32_t> symbol_indexes; 1369 symtab->FindAllSymbolsWithNameAndType(name, symbol_type, symbol_indexes); 1370 SymbolIndicesToSymbolContextList(symtab, symbol_indexes, sc_list); 1371 } 1372 } 1373 return sc_list.GetSize() - initial_size; 1374 } 1375 1376 size_t Module::FindSymbolsMatchingRegExAndType(const RegularExpression ®ex, 1377 SymbolType symbol_type, 1378 SymbolContextList &sc_list) { 1379 // No need to protect this call using m_mutex all other method calls are 1380 // already thread safe. 1381 1382 static Timer::Category func_cat(LLVM_PRETTY_FUNCTION); 1383 Timer scoped_timer( 1384 func_cat, 1385 "Module::FindSymbolsMatchingRegExAndType (regex = %s, type = %i)", 1386 regex.GetText().str().c_str(), symbol_type); 1387 const size_t initial_size = sc_list.GetSize(); 1388 SymbolVendor *sym_vendor = GetSymbolVendor(); 1389 if (sym_vendor) { 1390 Symtab *symtab = sym_vendor->GetSymtab(); 1391 if (symtab) { 1392 std::vector<uint32_t> symbol_indexes; 1393 symtab->FindAllSymbolsMatchingRexExAndType( 1394 regex, symbol_type, Symtab::eDebugAny, Symtab::eVisibilityAny, 1395 symbol_indexes); 1396 SymbolIndicesToSymbolContextList(symtab, symbol_indexes, sc_list); 1397 } 1398 } 1399 return sc_list.GetSize() - initial_size; 1400 } 1401 1402 void Module::PreloadSymbols() { 1403 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1404 SymbolVendor * sym_vendor = GetSymbolVendor(); 1405 if (!sym_vendor) { 1406 return; 1407 } 1408 // Prime the symbol file first, since it adds symbols to the symbol table. 1409 if (SymbolFile *symbol_file = sym_vendor->GetSymbolFile()) { 1410 symbol_file->PreloadSymbols(); 1411 } 1412 // Now we can prime the symbol table. 1413 if (Symtab * symtab = sym_vendor->GetSymtab()) { 1414 symtab->PreloadSymbols(); 1415 } 1416 } 1417 1418 void Module::SetSymbolFileFileSpec(const FileSpec &file) { 1419 if (!file.Exists()) 1420 return; 1421 if (m_symfile_ap) { 1422 // Remove any sections in the unified section list that come from the 1423 // current symbol vendor. 1424 SectionList *section_list = GetSectionList(); 1425 SymbolFile *symbol_file = m_symfile_ap->GetSymbolFile(); 1426 if (section_list && symbol_file) { 1427 ObjectFile *obj_file = symbol_file->GetObjectFile(); 1428 // Make sure we have an object file and that the symbol vendor's objfile 1429 // isn't the same as the module's objfile before we remove any sections 1430 // for it... 1431 if (obj_file) { 1432 // Check to make sure we aren't trying to specify the file we already 1433 // have 1434 if (obj_file->GetFileSpec() == file) { 1435 // We are being told to add the exact same file that we already have 1436 // we don't have to do anything. 1437 return; 1438 } 1439 1440 // Cleare the current symtab as we are going to replace it with a new 1441 // one 1442 obj_file->ClearSymtab(); 1443 1444 // The symbol file might be a directory bundle ("/tmp/a.out.dSYM") 1445 // instead of a full path to the symbol file within the bundle 1446 // ("/tmp/a.out.dSYM/Contents/Resources/DWARF/a.out"). So we need to 1447 // check this 1448 1449 if (llvm::sys::fs::is_directory(file.GetPath())) { 1450 std::string new_path(file.GetPath()); 1451 std::string old_path(obj_file->GetFileSpec().GetPath()); 1452 if (old_path.find(new_path) == 0) { 1453 // We specified the same bundle as the symbol file that we already 1454 // have 1455 return; 1456 } 1457 } 1458 1459 if (obj_file != m_objfile_sp.get()) { 1460 size_t num_sections = section_list->GetNumSections(0); 1461 for (size_t idx = num_sections; idx > 0; --idx) { 1462 lldb::SectionSP section_sp( 1463 section_list->GetSectionAtIndex(idx - 1)); 1464 if (section_sp->GetObjectFile() == obj_file) { 1465 section_list->DeleteSection(idx - 1); 1466 } 1467 } 1468 } 1469 } 1470 } 1471 // Keep all old symbol files around in case there are any lingering type 1472 // references in any SBValue objects that might have been handed out. 1473 m_old_symfiles.push_back(std::move(m_symfile_ap)); 1474 } 1475 m_symfile_spec = file; 1476 m_symfile_ap.reset(); 1477 m_did_load_symbol_vendor = false; 1478 } 1479 1480 bool Module::IsExecutable() { 1481 if (GetObjectFile() == nullptr) 1482 return false; 1483 else 1484 return GetObjectFile()->IsExecutable(); 1485 } 1486 1487 bool Module::IsLoadedInTarget(Target *target) { 1488 ObjectFile *obj_file = GetObjectFile(); 1489 if (obj_file) { 1490 SectionList *sections = GetSectionList(); 1491 if (sections != nullptr) { 1492 size_t num_sections = sections->GetSize(); 1493 for (size_t sect_idx = 0; sect_idx < num_sections; sect_idx++) { 1494 SectionSP section_sp = sections->GetSectionAtIndex(sect_idx); 1495 if (section_sp->GetLoadBaseAddress(target) != LLDB_INVALID_ADDRESS) { 1496 return true; 1497 } 1498 } 1499 } 1500 } 1501 return false; 1502 } 1503 1504 bool Module::LoadScriptingResourceInTarget(Target *target, Status &error, 1505 Stream *feedback_stream) { 1506 if (!target) { 1507 error.SetErrorString("invalid destination Target"); 1508 return false; 1509 } 1510 1511 LoadScriptFromSymFile should_load = 1512 target->TargetProperties::GetLoadScriptFromSymbolFile(); 1513 1514 if (should_load == eLoadScriptFromSymFileFalse) 1515 return false; 1516 1517 Debugger &debugger = target->GetDebugger(); 1518 const ScriptLanguage script_language = debugger.GetScriptLanguage(); 1519 if (script_language != eScriptLanguageNone) { 1520 1521 PlatformSP platform_sp(target->GetPlatform()); 1522 1523 if (!platform_sp) { 1524 error.SetErrorString("invalid Platform"); 1525 return false; 1526 } 1527 1528 FileSpecList file_specs = platform_sp->LocateExecutableScriptingResources( 1529 target, *this, feedback_stream); 1530 1531 const uint32_t num_specs = file_specs.GetSize(); 1532 if (num_specs) { 1533 ScriptInterpreter *script_interpreter = 1534 debugger.GetCommandInterpreter().GetScriptInterpreter(); 1535 if (script_interpreter) { 1536 for (uint32_t i = 0; i < num_specs; ++i) { 1537 FileSpec scripting_fspec(file_specs.GetFileSpecAtIndex(i)); 1538 if (scripting_fspec && scripting_fspec.Exists()) { 1539 if (should_load == eLoadScriptFromSymFileWarn) { 1540 if (feedback_stream) 1541 feedback_stream->Printf( 1542 "warning: '%s' contains a debug script. To run this script " 1543 "in " 1544 "this debug session:\n\n command script import " 1545 "\"%s\"\n\n" 1546 "To run all discovered debug scripts in this session:\n\n" 1547 " settings set target.load-script-from-symbol-file " 1548 "true\n", 1549 GetFileSpec().GetFileNameStrippingExtension().GetCString(), 1550 scripting_fspec.GetPath().c_str()); 1551 return false; 1552 } 1553 StreamString scripting_stream; 1554 scripting_fspec.Dump(&scripting_stream); 1555 const bool can_reload = true; 1556 const bool init_lldb_globals = false; 1557 bool did_load = script_interpreter->LoadScriptingModule( 1558 scripting_stream.GetData(), can_reload, init_lldb_globals, 1559 error); 1560 if (!did_load) 1561 return false; 1562 } 1563 } 1564 } else { 1565 error.SetErrorString("invalid ScriptInterpreter"); 1566 return false; 1567 } 1568 } 1569 } 1570 return true; 1571 } 1572 1573 bool Module::SetArchitecture(const ArchSpec &new_arch) { 1574 if (!m_arch.IsValid()) { 1575 m_arch = new_arch; 1576 return true; 1577 } 1578 return m_arch.IsCompatibleMatch(new_arch); 1579 } 1580 1581 bool Module::SetLoadAddress(Target &target, lldb::addr_t value, 1582 bool value_is_offset, bool &changed) { 1583 ObjectFile *object_file = GetObjectFile(); 1584 if (object_file != nullptr) { 1585 changed = object_file->SetLoadAddress(target, value, value_is_offset); 1586 return true; 1587 } else { 1588 changed = false; 1589 } 1590 return false; 1591 } 1592 1593 bool Module::MatchesModuleSpec(const ModuleSpec &module_ref) { 1594 const UUID &uuid = module_ref.GetUUID(); 1595 1596 if (uuid.IsValid()) { 1597 // If the UUID matches, then nothing more needs to match... 1598 return (uuid == GetUUID()); 1599 } 1600 1601 const FileSpec &file_spec = module_ref.GetFileSpec(); 1602 if (file_spec) { 1603 if (!FileSpec::Equal(file_spec, m_file, (bool)file_spec.GetDirectory()) && 1604 !FileSpec::Equal(file_spec, m_platform_file, 1605 (bool)file_spec.GetDirectory())) 1606 return false; 1607 } 1608 1609 const FileSpec &platform_file_spec = module_ref.GetPlatformFileSpec(); 1610 if (platform_file_spec) { 1611 if (!FileSpec::Equal(platform_file_spec, GetPlatformFileSpec(), 1612 (bool)platform_file_spec.GetDirectory())) 1613 return false; 1614 } 1615 1616 const ArchSpec &arch = module_ref.GetArchitecture(); 1617 if (arch.IsValid()) { 1618 if (!m_arch.IsCompatibleMatch(arch)) 1619 return false; 1620 } 1621 1622 const ConstString &object_name = module_ref.GetObjectName(); 1623 if (object_name) { 1624 if (object_name != GetObjectName()) 1625 return false; 1626 } 1627 return true; 1628 } 1629 1630 bool Module::FindSourceFile(const FileSpec &orig_spec, 1631 FileSpec &new_spec) const { 1632 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1633 return m_source_mappings.FindFile(orig_spec, new_spec); 1634 } 1635 1636 bool Module::RemapSourceFile(llvm::StringRef path, 1637 std::string &new_path) const { 1638 std::lock_guard<std::recursive_mutex> guard(m_mutex); 1639 return m_source_mappings.RemapPath(path, new_path); 1640 } 1641 1642 uint32_t Module::GetVersion(uint32_t *versions, uint32_t num_versions) { 1643 ObjectFile *obj_file = GetObjectFile(); 1644 if (obj_file) 1645 return obj_file->GetVersion(versions, num_versions); 1646 1647 if (versions != nullptr && num_versions != 0) { 1648 for (uint32_t i = 0; i < num_versions; ++i) 1649 versions[i] = LLDB_INVALID_MODULE_VERSION; 1650 } 1651 return 0; 1652 } 1653 1654 bool Module::GetIsDynamicLinkEditor() { 1655 ObjectFile *obj_file = GetObjectFile(); 1656 1657 if (obj_file) 1658 return obj_file->GetIsDynamicLinkEditor(); 1659 1660 return false; 1661 } 1662