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