1 1.1 mrg //===-- ubsan_diag.cpp ----------------------------------------------------===// 2 1.1 mrg // 3 1.1 mrg // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4 1.1 mrg // See https://llvm.org/LICENSE.txt for license information. 5 1.1 mrg // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6 1.1 mrg // 7 1.1 mrg //===----------------------------------------------------------------------===// 8 1.1 mrg // 9 1.1 mrg // Diagnostic reporting for the UBSan runtime. 10 1.1 mrg // 11 1.1 mrg //===----------------------------------------------------------------------===// 12 1.1 mrg 13 1.1 mrg #include "ubsan_platform.h" 14 1.1 mrg #if CAN_SANITIZE_UB 15 1.1 mrg #include "ubsan_diag.h" 16 1.1 mrg #include "ubsan_init.h" 17 1.1 mrg #include "ubsan_flags.h" 18 1.1 mrg #include "ubsan_monitor.h" 19 1.1 mrg #include "sanitizer_common/sanitizer_placement_new.h" 20 1.1 mrg #include "sanitizer_common/sanitizer_report_decorator.h" 21 1.1 mrg #include "sanitizer_common/sanitizer_stacktrace.h" 22 1.1 mrg #include "sanitizer_common/sanitizer_stacktrace_printer.h" 23 1.1 mrg #include "sanitizer_common/sanitizer_suppressions.h" 24 1.1 mrg #include "sanitizer_common/sanitizer_symbolizer.h" 25 1.1 mrg #include <stdio.h> 26 1.1 mrg 27 1.1 mrg using namespace __ubsan; 28 1.1 mrg 29 1.1 mrg // UBSan is combined with runtimes that already provide this functionality 30 1.1 mrg // (e.g., ASan) as well as runtimes that lack it (e.g., scudo). Tried to use 31 1.1 mrg // weak linkage to resolve this issue which is not portable and breaks on 32 1.1 mrg // Windows. 33 1.1 mrg // TODO(yln): This is a temporary workaround. GetStackTrace functions will be 34 1.1 mrg // removed in the future. 35 1.4 mrg void ubsan_GetStackTrace(BufferedStackTrace *stack, uptr max_depth, uptr pc, 36 1.4 mrg uptr bp, void *context, bool request_fast) { 37 1.1 mrg uptr top = 0; 38 1.1 mrg uptr bottom = 0; 39 1.4 mrg GetThreadStackTopAndBottom(false, &top, &bottom); 40 1.4 mrg bool fast = StackTrace::WillUseFastUnwind(request_fast); 41 1.4 mrg stack->Unwind(max_depth, pc, bp, context, top, bottom, fast); 42 1.1 mrg } 43 1.1 mrg 44 1.1 mrg static void MaybePrintStackTrace(uptr pc, uptr bp) { 45 1.1 mrg // We assume that flags are already parsed, as UBSan runtime 46 1.1 mrg // will definitely be called when we print the first diagnostics message. 47 1.1 mrg if (!flags()->print_stacktrace) 48 1.1 mrg return; 49 1.1 mrg 50 1.1 mrg BufferedStackTrace stack; 51 1.1 mrg ubsan_GetStackTrace(&stack, kStackTraceMax, pc, bp, nullptr, 52 1.1 mrg common_flags()->fast_unwind_on_fatal); 53 1.1 mrg stack.Print(); 54 1.1 mrg } 55 1.1 mrg 56 1.1 mrg static const char *ConvertTypeToString(ErrorType Type) { 57 1.1 mrg switch (Type) { 58 1.1 mrg #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) \ 59 1.1 mrg case ErrorType::Name: \ 60 1.1 mrg return SummaryKind; 61 1.1 mrg #include "ubsan_checks.inc" 62 1.1 mrg #undef UBSAN_CHECK 63 1.1 mrg } 64 1.1 mrg UNREACHABLE("unknown ErrorType!"); 65 1.1 mrg } 66 1.1 mrg 67 1.1 mrg static const char *ConvertTypeToFlagName(ErrorType Type) { 68 1.1 mrg switch (Type) { 69 1.1 mrg #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) \ 70 1.1 mrg case ErrorType::Name: \ 71 1.1 mrg return FSanitizeFlagName; 72 1.1 mrg #include "ubsan_checks.inc" 73 1.1 mrg #undef UBSAN_CHECK 74 1.1 mrg } 75 1.1 mrg UNREACHABLE("unknown ErrorType!"); 76 1.1 mrg } 77 1.1 mrg 78 1.1 mrg static void MaybeReportErrorSummary(Location Loc, ErrorType Type) { 79 1.1 mrg if (!common_flags()->print_summary) 80 1.1 mrg return; 81 1.1 mrg if (!flags()->report_error_type) 82 1.1 mrg Type = ErrorType::GenericUB; 83 1.1 mrg const char *ErrorKind = ConvertTypeToString(Type); 84 1.1 mrg if (Loc.isSourceLocation()) { 85 1.1 mrg SourceLocation SLoc = Loc.getSourceLocation(); 86 1.1 mrg if (!SLoc.isInvalid()) { 87 1.1 mrg AddressInfo AI; 88 1.1 mrg AI.file = internal_strdup(SLoc.getFilename()); 89 1.1 mrg AI.line = SLoc.getLine(); 90 1.1 mrg AI.column = SLoc.getColumn(); 91 1.1 mrg AI.function = internal_strdup(""); // Avoid printing ?? as function name. 92 1.1 mrg ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName()); 93 1.1 mrg AI.Clear(); 94 1.1 mrg return; 95 1.1 mrg } 96 1.1 mrg } else if (Loc.isSymbolizedStack()) { 97 1.1 mrg const AddressInfo &AI = Loc.getSymbolizedStack()->info; 98 1.1 mrg ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName()); 99 1.1 mrg return; 100 1.1 mrg } 101 1.1 mrg ReportErrorSummary(ErrorKind, GetSanititizerToolName()); 102 1.1 mrg } 103 1.1 mrg 104 1.1 mrg namespace { 105 1.1 mrg class Decorator : public SanitizerCommonDecorator { 106 1.1 mrg public: 107 1.1 mrg Decorator() : SanitizerCommonDecorator() {} 108 1.1 mrg const char *Highlight() const { return Green(); } 109 1.1 mrg const char *Note() const { return Black(); } 110 1.1 mrg }; 111 1.1 mrg } 112 1.1 mrg 113 1.1 mrg SymbolizedStack *__ubsan::getSymbolizedLocation(uptr PC) { 114 1.1 mrg InitAsStandaloneIfNecessary(); 115 1.1 mrg return Symbolizer::GetOrInit()->SymbolizePC(PC); 116 1.1 mrg } 117 1.1 mrg 118 1.1 mrg Diag &Diag::operator<<(const TypeDescriptor &V) { 119 1.1 mrg return AddArg(V.getTypeName()); 120 1.1 mrg } 121 1.1 mrg 122 1.1 mrg Diag &Diag::operator<<(const Value &V) { 123 1.1 mrg if (V.getType().isSignedIntegerTy()) 124 1.1 mrg AddArg(V.getSIntValue()); 125 1.1 mrg else if (V.getType().isUnsignedIntegerTy()) 126 1.1 mrg AddArg(V.getUIntValue()); 127 1.1 mrg else if (V.getType().isFloatTy()) 128 1.1 mrg AddArg(V.getFloatValue()); 129 1.1 mrg else 130 1.1 mrg AddArg("<unknown>"); 131 1.1 mrg return *this; 132 1.1 mrg } 133 1.1 mrg 134 1.1 mrg /// Hexadecimal printing for numbers too large for Printf to handle directly. 135 1.1 mrg static void RenderHex(InternalScopedString *Buffer, UIntMax Val) { 136 1.1 mrg #if HAVE_INT128_T 137 1.4 mrg Buffer->AppendF("0x%08x%08x%08x%08x", (unsigned int)(Val >> 96), 138 1.4 mrg (unsigned int)(Val >> 64), (unsigned int)(Val >> 32), 139 1.4 mrg (unsigned int)(Val)); 140 1.1 mrg #else 141 1.1 mrg UNREACHABLE("long long smaller than 64 bits?"); 142 1.1 mrg #endif 143 1.1 mrg } 144 1.1 mrg 145 1.1 mrg static void RenderLocation(InternalScopedString *Buffer, Location Loc) { 146 1.1 mrg switch (Loc.getKind()) { 147 1.1 mrg case Location::LK_Source: { 148 1.1 mrg SourceLocation SLoc = Loc.getSourceLocation(); 149 1.1 mrg if (SLoc.isInvalid()) 150 1.4 mrg Buffer->AppendF("<unknown>"); 151 1.1 mrg else 152 1.4 mrg StackTracePrinter::GetOrInit()->RenderSourceLocation( 153 1.4 mrg Buffer, SLoc.getFilename(), SLoc.getLine(), SLoc.getColumn(), 154 1.4 mrg common_flags()->symbolize_vs_style, 155 1.4 mrg common_flags()->strip_path_prefix); 156 1.1 mrg return; 157 1.1 mrg } 158 1.1 mrg case Location::LK_Memory: 159 1.4 mrg Buffer->AppendF("%p", reinterpret_cast<void *>(Loc.getMemoryLocation())); 160 1.1 mrg return; 161 1.1 mrg case Location::LK_Symbolized: { 162 1.1 mrg const AddressInfo &Info = Loc.getSymbolizedStack()->info; 163 1.1 mrg if (Info.file) 164 1.4 mrg StackTracePrinter::GetOrInit()->RenderSourceLocation( 165 1.4 mrg Buffer, Info.file, Info.line, Info.column, 166 1.4 mrg common_flags()->symbolize_vs_style, 167 1.4 mrg common_flags()->strip_path_prefix); 168 1.1 mrg else if (Info.module) 169 1.4 mrg StackTracePrinter::GetOrInit()->RenderModuleLocation( 170 1.4 mrg Buffer, Info.module, Info.module_offset, Info.module_arch, 171 1.4 mrg common_flags()->strip_path_prefix); 172 1.1 mrg else 173 1.4 mrg Buffer->AppendF("%p", reinterpret_cast<void *>(Info.address)); 174 1.1 mrg return; 175 1.1 mrg } 176 1.1 mrg case Location::LK_Null: 177 1.4 mrg Buffer->AppendF("<unknown>"); 178 1.1 mrg return; 179 1.1 mrg } 180 1.1 mrg } 181 1.1 mrg 182 1.1 mrg static void RenderText(InternalScopedString *Buffer, const char *Message, 183 1.1 mrg const Diag::Arg *Args) { 184 1.1 mrg for (const char *Msg = Message; *Msg; ++Msg) { 185 1.1 mrg if (*Msg != '%') { 186 1.4 mrg Buffer->AppendF("%c", *Msg); 187 1.1 mrg continue; 188 1.1 mrg } 189 1.1 mrg const Diag::Arg &A = Args[*++Msg - '0']; 190 1.1 mrg switch (A.Kind) { 191 1.1 mrg case Diag::AK_String: 192 1.4 mrg Buffer->AppendF("%s", A.String); 193 1.1 mrg break; 194 1.1 mrg case Diag::AK_TypeName: { 195 1.1 mrg if (SANITIZER_WINDOWS) 196 1.1 mrg // The Windows implementation demangles names early. 197 1.4 mrg Buffer->AppendF("'%s'", A.String); 198 1.1 mrg else 199 1.4 mrg Buffer->AppendF("'%s'", Symbolizer::GetOrInit()->Demangle(A.String)); 200 1.1 mrg break; 201 1.1 mrg } 202 1.1 mrg case Diag::AK_SInt: 203 1.1 mrg // 'long long' is guaranteed to be at least 64 bits wide. 204 1.1 mrg if (A.SInt >= INT64_MIN && A.SInt <= INT64_MAX) 205 1.4 mrg Buffer->AppendF("%lld", (long long)A.SInt); 206 1.1 mrg else 207 1.1 mrg RenderHex(Buffer, A.SInt); 208 1.1 mrg break; 209 1.1 mrg case Diag::AK_UInt: 210 1.1 mrg if (A.UInt <= UINT64_MAX) 211 1.4 mrg Buffer->AppendF("%llu", (unsigned long long)A.UInt); 212 1.1 mrg else 213 1.1 mrg RenderHex(Buffer, A.UInt); 214 1.1 mrg break; 215 1.1 mrg case Diag::AK_Float: { 216 1.1 mrg // FIXME: Support floating-point formatting in sanitizer_common's 217 1.1 mrg // printf, and stop using snprintf here. 218 1.1 mrg char FloatBuffer[32]; 219 1.1 mrg #if SANITIZER_WINDOWS 220 1.4 mrg // On MSVC platforms, long doubles are equal to regular doubles. 221 1.4 mrg // In MinGW environments on x86, long doubles are 80 bit, but here, 222 1.4 mrg // we're calling an MS CRT provided printf function which considers 223 1.4 mrg // long doubles to be 64 bit. Just cast the float value to a regular 224 1.4 mrg // double to avoid the potential ambiguity in MinGW mode. 225 1.4 mrg sprintf_s(FloatBuffer, sizeof(FloatBuffer), "%g", (double)A.Float); 226 1.1 mrg #else 227 1.1 mrg snprintf(FloatBuffer, sizeof(FloatBuffer), "%Lg", (long double)A.Float); 228 1.1 mrg #endif 229 1.4 mrg Buffer->Append(FloatBuffer); 230 1.1 mrg break; 231 1.1 mrg } 232 1.1 mrg case Diag::AK_Pointer: 233 1.4 mrg Buffer->AppendF("%p", A.Pointer); 234 1.1 mrg break; 235 1.1 mrg } 236 1.1 mrg } 237 1.1 mrg } 238 1.1 mrg 239 1.1 mrg /// Find the earliest-starting range in Ranges which ends after Loc. 240 1.1 mrg static Range *upperBound(MemoryLocation Loc, Range *Ranges, 241 1.1 mrg unsigned NumRanges) { 242 1.1 mrg Range *Best = 0; 243 1.1 mrg for (unsigned I = 0; I != NumRanges; ++I) 244 1.1 mrg if (Ranges[I].getEnd().getMemoryLocation() > Loc && 245 1.1 mrg (!Best || 246 1.1 mrg Best->getStart().getMemoryLocation() > 247 1.1 mrg Ranges[I].getStart().getMemoryLocation())) 248 1.1 mrg Best = &Ranges[I]; 249 1.1 mrg return Best; 250 1.1 mrg } 251 1.1 mrg 252 1.1 mrg static inline uptr subtractNoOverflow(uptr LHS, uptr RHS) { 253 1.1 mrg return (LHS < RHS) ? 0 : LHS - RHS; 254 1.1 mrg } 255 1.1 mrg 256 1.1 mrg static inline uptr addNoOverflow(uptr LHS, uptr RHS) { 257 1.1 mrg const uptr Limit = (uptr)-1; 258 1.1 mrg return (LHS > Limit - RHS) ? Limit : LHS + RHS; 259 1.1 mrg } 260 1.1 mrg 261 1.1 mrg /// Render a snippet of the address space near a location. 262 1.1 mrg static void PrintMemorySnippet(const Decorator &Decor, MemoryLocation Loc, 263 1.1 mrg Range *Ranges, unsigned NumRanges, 264 1.1 mrg const Diag::Arg *Args) { 265 1.1 mrg // Show at least the 8 bytes surrounding Loc. 266 1.1 mrg const unsigned MinBytesNearLoc = 4; 267 1.1 mrg MemoryLocation Min = subtractNoOverflow(Loc, MinBytesNearLoc); 268 1.1 mrg MemoryLocation Max = addNoOverflow(Loc, MinBytesNearLoc); 269 1.1 mrg MemoryLocation OrigMin = Min; 270 1.1 mrg for (unsigned I = 0; I < NumRanges; ++I) { 271 1.1 mrg Min = __sanitizer::Min(Ranges[I].getStart().getMemoryLocation(), Min); 272 1.1 mrg Max = __sanitizer::Max(Ranges[I].getEnd().getMemoryLocation(), Max); 273 1.1 mrg } 274 1.1 mrg 275 1.1 mrg // If we have too many interesting bytes, prefer to show bytes after Loc. 276 1.1 mrg const unsigned BytesToShow = 32; 277 1.1 mrg if (Max - Min > BytesToShow) 278 1.1 mrg Min = __sanitizer::Min(Max - BytesToShow, OrigMin); 279 1.1 mrg Max = addNoOverflow(Min, BytesToShow); 280 1.1 mrg 281 1.1 mrg if (!IsAccessibleMemoryRange(Min, Max - Min)) { 282 1.1 mrg Printf("<memory cannot be printed>\n"); 283 1.1 mrg return; 284 1.1 mrg } 285 1.1 mrg 286 1.1 mrg // Emit data. 287 1.3 mrg InternalScopedString Buffer; 288 1.1 mrg for (uptr P = Min; P != Max; ++P) { 289 1.1 mrg unsigned char C = *reinterpret_cast<const unsigned char*>(P); 290 1.4 mrg Buffer.AppendF("%s%02x", (P % 8 == 0) ? " " : " ", C); 291 1.1 mrg } 292 1.4 mrg Buffer.AppendF("\n"); 293 1.1 mrg 294 1.1 mrg // Emit highlights. 295 1.4 mrg Buffer.Append(Decor.Highlight()); 296 1.1 mrg Range *InRange = upperBound(Min, Ranges, NumRanges); 297 1.1 mrg for (uptr P = Min; P != Max; ++P) { 298 1.1 mrg char Pad = ' ', Byte = ' '; 299 1.1 mrg if (InRange && InRange->getEnd().getMemoryLocation() == P) 300 1.1 mrg InRange = upperBound(P, Ranges, NumRanges); 301 1.1 mrg if (!InRange && P > Loc) 302 1.1 mrg break; 303 1.1 mrg if (InRange && InRange->getStart().getMemoryLocation() < P) 304 1.1 mrg Pad = '~'; 305 1.1 mrg if (InRange && InRange->getStart().getMemoryLocation() <= P) 306 1.1 mrg Byte = '~'; 307 1.1 mrg if (P % 8 == 0) 308 1.4 mrg Buffer.AppendF("%c", Pad); 309 1.4 mrg Buffer.AppendF("%c", Pad); 310 1.4 mrg Buffer.AppendF("%c", P == Loc ? '^' : Byte); 311 1.4 mrg Buffer.AppendF("%c", Byte); 312 1.1 mrg } 313 1.4 mrg Buffer.AppendF("%s\n", Decor.Default()); 314 1.1 mrg 315 1.1 mrg // Go over the line again, and print names for the ranges. 316 1.1 mrg InRange = 0; 317 1.1 mrg unsigned Spaces = 0; 318 1.1 mrg for (uptr P = Min; P != Max; ++P) { 319 1.1 mrg if (!InRange || InRange->getEnd().getMemoryLocation() == P) 320 1.1 mrg InRange = upperBound(P, Ranges, NumRanges); 321 1.1 mrg if (!InRange) 322 1.1 mrg break; 323 1.1 mrg 324 1.1 mrg Spaces += (P % 8) == 0 ? 2 : 1; 325 1.1 mrg 326 1.1 mrg if (InRange && InRange->getStart().getMemoryLocation() == P) { 327 1.1 mrg while (Spaces--) 328 1.4 mrg Buffer.AppendF(" "); 329 1.1 mrg RenderText(&Buffer, InRange->getText(), Args); 330 1.4 mrg Buffer.AppendF("\n"); 331 1.1 mrg // FIXME: We only support naming one range for now! 332 1.1 mrg break; 333 1.1 mrg } 334 1.1 mrg 335 1.1 mrg Spaces += 2; 336 1.1 mrg } 337 1.1 mrg 338 1.1 mrg Printf("%s", Buffer.data()); 339 1.1 mrg // FIXME: Print names for anything we can identify within the line: 340 1.1 mrg // 341 1.1 mrg // * If we can identify the memory itself as belonging to a particular 342 1.1 mrg // global, stack variable, or dynamic allocation, then do so. 343 1.1 mrg // 344 1.1 mrg // * If we have a pointer-size, pointer-aligned range highlighted, 345 1.1 mrg // determine whether the value of that range is a pointer to an 346 1.1 mrg // entity which we can name, and if so, print that name. 347 1.1 mrg // 348 1.1 mrg // This needs an external symbolizer, or (preferably) ASan instrumentation. 349 1.1 mrg } 350 1.1 mrg 351 1.1 mrg Diag::~Diag() { 352 1.1 mrg // All diagnostics should be printed under report mutex. 353 1.1 mrg ScopedReport::CheckLocked(); 354 1.1 mrg Decorator Decor; 355 1.3 mrg InternalScopedString Buffer; 356 1.1 mrg 357 1.1 mrg // Prepare a report that a monitor process can inspect. 358 1.1 mrg if (Level == DL_Error) { 359 1.1 mrg RenderText(&Buffer, Message, Args); 360 1.1 mrg UndefinedBehaviorReport UBR{ConvertTypeToString(ET), Loc, Buffer}; 361 1.1 mrg Buffer.clear(); 362 1.1 mrg } 363 1.1 mrg 364 1.4 mrg Buffer.Append(Decor.Bold()); 365 1.1 mrg RenderLocation(&Buffer, Loc); 366 1.4 mrg Buffer.AppendF(":"); 367 1.1 mrg 368 1.1 mrg switch (Level) { 369 1.1 mrg case DL_Error: 370 1.4 mrg Buffer.AppendF("%s runtime error: %s%s", Decor.Warning(), Decor.Default(), 371 1.4 mrg Decor.Bold()); 372 1.1 mrg break; 373 1.1 mrg 374 1.1 mrg case DL_Note: 375 1.4 mrg Buffer.AppendF("%s note: %s", Decor.Note(), Decor.Default()); 376 1.1 mrg break; 377 1.1 mrg } 378 1.1 mrg 379 1.1 mrg RenderText(&Buffer, Message, Args); 380 1.1 mrg 381 1.4 mrg Buffer.AppendF("%s\n", Decor.Default()); 382 1.1 mrg Printf("%s", Buffer.data()); 383 1.1 mrg 384 1.1 mrg if (Loc.isMemoryLocation()) 385 1.1 mrg PrintMemorySnippet(Decor, Loc.getMemoryLocation(), Ranges, NumRanges, Args); 386 1.1 mrg } 387 1.1 mrg 388 1.1 mrg ScopedReport::Initializer::Initializer() { InitAsStandaloneIfNecessary(); } 389 1.1 mrg 390 1.1 mrg ScopedReport::ScopedReport(ReportOptions Opts, Location SummaryLoc, 391 1.1 mrg ErrorType Type) 392 1.1 mrg : Opts(Opts), SummaryLoc(SummaryLoc), Type(Type) {} 393 1.1 mrg 394 1.1 mrg ScopedReport::~ScopedReport() { 395 1.1 mrg MaybePrintStackTrace(Opts.pc, Opts.bp); 396 1.1 mrg MaybeReportErrorSummary(SummaryLoc, Type); 397 1.3 mrg 398 1.3 mrg if (common_flags()->print_module_map >= 2) 399 1.3 mrg DumpProcessMap(); 400 1.3 mrg 401 1.1 mrg if (flags()->halt_on_error) 402 1.1 mrg Die(); 403 1.1 mrg } 404 1.1 mrg 405 1.1 mrg ALIGNED(64) static char suppression_placeholder[sizeof(SuppressionContext)]; 406 1.1 mrg static SuppressionContext *suppression_ctx = nullptr; 407 1.1 mrg static const char kVptrCheck[] = "vptr_check"; 408 1.1 mrg static const char *kSuppressionTypes[] = { 409 1.1 mrg #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) FSanitizeFlagName, 410 1.1 mrg #include "ubsan_checks.inc" 411 1.1 mrg #undef UBSAN_CHECK 412 1.1 mrg kVptrCheck, 413 1.1 mrg }; 414 1.1 mrg 415 1.1 mrg void __ubsan::InitializeSuppressions() { 416 1.1 mrg CHECK_EQ(nullptr, suppression_ctx); 417 1.1 mrg suppression_ctx = new (suppression_placeholder) 418 1.1 mrg SuppressionContext(kSuppressionTypes, ARRAY_SIZE(kSuppressionTypes)); 419 1.1 mrg suppression_ctx->ParseFromFile(flags()->suppressions); 420 1.1 mrg } 421 1.1 mrg 422 1.1 mrg bool __ubsan::IsVptrCheckSuppressed(const char *TypeName) { 423 1.1 mrg InitAsStandaloneIfNecessary(); 424 1.1 mrg CHECK(suppression_ctx); 425 1.1 mrg Suppression *s; 426 1.1 mrg return suppression_ctx->Match(TypeName, kVptrCheck, &s); 427 1.1 mrg } 428 1.1 mrg 429 1.1 mrg bool __ubsan::IsPCSuppressed(ErrorType ET, uptr PC, const char *Filename) { 430 1.1 mrg InitAsStandaloneIfNecessary(); 431 1.1 mrg CHECK(suppression_ctx); 432 1.1 mrg const char *SuppType = ConvertTypeToFlagName(ET); 433 1.1 mrg // Fast path: don't symbolize PC if there is no suppressions for given UB 434 1.1 mrg // type. 435 1.1 mrg if (!suppression_ctx->HasSuppressionType(SuppType)) 436 1.1 mrg return false; 437 1.1 mrg Suppression *s = nullptr; 438 1.1 mrg // Suppress by file name known to runtime. 439 1.1 mrg if (Filename != nullptr && suppression_ctx->Match(Filename, SuppType, &s)) 440 1.1 mrg return true; 441 1.1 mrg // Suppress by module name. 442 1.1 mrg if (const char *Module = Symbolizer::GetOrInit()->GetModuleNameForPc(PC)) { 443 1.1 mrg if (suppression_ctx->Match(Module, SuppType, &s)) 444 1.1 mrg return true; 445 1.1 mrg } 446 1.1 mrg // Suppress by function or source file name from debug info. 447 1.1 mrg SymbolizedStackHolder Stack(Symbolizer::GetOrInit()->SymbolizePC(PC)); 448 1.1 mrg const AddressInfo &AI = Stack.get()->info; 449 1.1 mrg return suppression_ctx->Match(AI.function, SuppType, &s) || 450 1.1 mrg suppression_ctx->Match(AI.file, SuppType, &s); 451 1.1 mrg } 452 1.1 mrg 453 1.1 mrg #endif // CAN_SANITIZE_UB 454