123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445 |
- //===-- ubsan_diag.cpp ----------------------------------------------------===//
- //
- // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
- // See https://llvm.org/LICENSE.txt for license information.
- // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
- //
- //===----------------------------------------------------------------------===//
- //
- // Diagnostic reporting for the UBSan runtime.
- //
- //===----------------------------------------------------------------------===//
- #include "ubsan_platform.h"
- #if CAN_SANITIZE_UB
- #include "ubsan_diag.h"
- #include "ubsan_init.h"
- #include "ubsan_flags.h"
- #include "ubsan_monitor.h"
- #include "sanitizer_common/sanitizer_placement_new.h"
- #include "sanitizer_common/sanitizer_report_decorator.h"
- #include "sanitizer_common/sanitizer_stacktrace.h"
- #include "sanitizer_common/sanitizer_stacktrace_printer.h"
- #include "sanitizer_common/sanitizer_suppressions.h"
- #include "sanitizer_common/sanitizer_symbolizer.h"
- #include <stdio.h>
- using namespace __ubsan;
- // UBSan is combined with runtimes that already provide this functionality
- // (e.g., ASan) as well as runtimes that lack it (e.g., scudo). Tried to use
- // weak linkage to resolve this issue which is not portable and breaks on
- // Windows.
- // TODO(yln): This is a temporary workaround. GetStackTrace functions will be
- // removed in the future.
- void ubsan_GetStackTrace(BufferedStackTrace *stack, uptr max_depth, uptr pc,
- uptr bp, void *context, bool request_fast) {
- uptr top = 0;
- uptr bottom = 0;
- GetThreadStackTopAndBottom(false, &top, &bottom);
- bool fast = StackTrace::WillUseFastUnwind(request_fast);
- stack->Unwind(max_depth, pc, bp, context, top, bottom, fast);
- }
- static void MaybePrintStackTrace(uptr pc, uptr bp) {
- // We assume that flags are already parsed, as UBSan runtime
- // will definitely be called when we print the first diagnostics message.
- if (!flags()->print_stacktrace)
- return;
- BufferedStackTrace stack;
- ubsan_GetStackTrace(&stack, kStackTraceMax, pc, bp, nullptr,
- common_flags()->fast_unwind_on_fatal);
- stack.Print();
- }
- static const char *ConvertTypeToString(ErrorType Type) {
- switch (Type) {
- #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) \
- case ErrorType::Name: \
- return SummaryKind;
- #include "ubsan_checks.inc"
- #undef UBSAN_CHECK
- }
- UNREACHABLE("unknown ErrorType!");
- }
- static const char *ConvertTypeToFlagName(ErrorType Type) {
- switch (Type) {
- #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) \
- case ErrorType::Name: \
- return FSanitizeFlagName;
- #include "ubsan_checks.inc"
- #undef UBSAN_CHECK
- }
- UNREACHABLE("unknown ErrorType!");
- }
- static void MaybeReportErrorSummary(Location Loc, ErrorType Type) {
- if (!common_flags()->print_summary)
- return;
- if (!flags()->report_error_type)
- Type = ErrorType::GenericUB;
- const char *ErrorKind = ConvertTypeToString(Type);
- if (Loc.isSourceLocation()) {
- SourceLocation SLoc = Loc.getSourceLocation();
- if (!SLoc.isInvalid()) {
- AddressInfo AI;
- AI.file = internal_strdup(SLoc.getFilename());
- AI.line = SLoc.getLine();
- AI.column = SLoc.getColumn();
- AI.function = internal_strdup(""); // Avoid printing ?? as function name.
- ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName());
- AI.Clear();
- return;
- }
- } else if (Loc.isSymbolizedStack()) {
- const AddressInfo &AI = Loc.getSymbolizedStack()->info;
- ReportErrorSummary(ErrorKind, AI, GetSanititizerToolName());
- return;
- }
- ReportErrorSummary(ErrorKind, GetSanititizerToolName());
- }
- namespace {
- class Decorator : public SanitizerCommonDecorator {
- public:
- Decorator() : SanitizerCommonDecorator() {}
- const char *Highlight() const { return Green(); }
- const char *Note() const { return Black(); }
- };
- }
- SymbolizedStack *__ubsan::getSymbolizedLocation(uptr PC) {
- InitAsStandaloneIfNecessary();
- return Symbolizer::GetOrInit()->SymbolizePC(PC);
- }
- Diag &Diag::operator<<(const TypeDescriptor &V) {
- return AddArg(V.getTypeName());
- }
- Diag &Diag::operator<<(const Value &V) {
- if (V.getType().isSignedIntegerTy())
- AddArg(V.getSIntValue());
- else if (V.getType().isUnsignedIntegerTy())
- AddArg(V.getUIntValue());
- else if (V.getType().isFloatTy())
- AddArg(V.getFloatValue());
- else
- AddArg("<unknown>");
- return *this;
- }
- /// Hexadecimal printing for numbers too large for Printf to handle directly.
- static void RenderHex(InternalScopedString *Buffer, UIntMax Val) {
- #if HAVE_INT128_T
- Buffer->append("0x%08x%08x%08x%08x", (unsigned int)(Val >> 96),
- (unsigned int)(Val >> 64), (unsigned int)(Val >> 32),
- (unsigned int)(Val));
- #else
- UNREACHABLE("long long smaller than 64 bits?");
- #endif
- }
- static void RenderLocation(InternalScopedString *Buffer, Location Loc) {
- switch (Loc.getKind()) {
- case Location::LK_Source: {
- SourceLocation SLoc = Loc.getSourceLocation();
- if (SLoc.isInvalid())
- Buffer->append("<unknown>");
- else
- RenderSourceLocation(Buffer, SLoc.getFilename(), SLoc.getLine(),
- SLoc.getColumn(), common_flags()->symbolize_vs_style,
- common_flags()->strip_path_prefix);
- return;
- }
- case Location::LK_Memory:
- Buffer->append("%p", reinterpret_cast<void *>(Loc.getMemoryLocation()));
- return;
- case Location::LK_Symbolized: {
- const AddressInfo &Info = Loc.getSymbolizedStack()->info;
- if (Info.file)
- RenderSourceLocation(Buffer, Info.file, Info.line, Info.column,
- common_flags()->symbolize_vs_style,
- common_flags()->strip_path_prefix);
- else if (Info.module)
- RenderModuleLocation(Buffer, Info.module, Info.module_offset,
- Info.module_arch, common_flags()->strip_path_prefix);
- else
- Buffer->append("%p", reinterpret_cast<void *>(Info.address));
- return;
- }
- case Location::LK_Null:
- Buffer->append("<unknown>");
- return;
- }
- }
- static void RenderText(InternalScopedString *Buffer, const char *Message,
- const Diag::Arg *Args) {
- for (const char *Msg = Message; *Msg; ++Msg) {
- if (*Msg != '%') {
- Buffer->append("%c", *Msg);
- continue;
- }
- const Diag::Arg &A = Args[*++Msg - '0'];
- switch (A.Kind) {
- case Diag::AK_String:
- Buffer->append("%s", A.String);
- break;
- case Diag::AK_TypeName: {
- if (SANITIZER_WINDOWS)
- // The Windows implementation demangles names early.
- Buffer->append("'%s'", A.String);
- else
- Buffer->append("'%s'", Symbolizer::GetOrInit()->Demangle(A.String));
- break;
- }
- case Diag::AK_SInt:
- // 'long long' is guaranteed to be at least 64 bits wide.
- if (A.SInt >= INT64_MIN && A.SInt <= INT64_MAX)
- Buffer->append("%lld", (long long)A.SInt);
- else
- RenderHex(Buffer, A.SInt);
- break;
- case Diag::AK_UInt:
- if (A.UInt <= UINT64_MAX)
- Buffer->append("%llu", (unsigned long long)A.UInt);
- else
- RenderHex(Buffer, A.UInt);
- break;
- case Diag::AK_Float: {
- // FIXME: Support floating-point formatting in sanitizer_common's
- // printf, and stop using snprintf here.
- char FloatBuffer[32];
- #if SANITIZER_WINDOWS
- sprintf_s(FloatBuffer, sizeof(FloatBuffer), "%Lg", (long double)A.Float);
- #else
- snprintf(FloatBuffer, sizeof(FloatBuffer), "%Lg", (long double)A.Float);
- #endif
- Buffer->append("%s", FloatBuffer);
- break;
- }
- case Diag::AK_Pointer:
- Buffer->append("%p", A.Pointer);
- break;
- }
- }
- }
- /// Find the earliest-starting range in Ranges which ends after Loc.
- static Range *upperBound(MemoryLocation Loc, Range *Ranges,
- unsigned NumRanges) {
- Range *Best = 0;
- for (unsigned I = 0; I != NumRanges; ++I)
- if (Ranges[I].getEnd().getMemoryLocation() > Loc &&
- (!Best ||
- Best->getStart().getMemoryLocation() >
- Ranges[I].getStart().getMemoryLocation()))
- Best = &Ranges[I];
- return Best;
- }
- static inline uptr subtractNoOverflow(uptr LHS, uptr RHS) {
- return (LHS < RHS) ? 0 : LHS - RHS;
- }
- static inline uptr addNoOverflow(uptr LHS, uptr RHS) {
- const uptr Limit = (uptr)-1;
- return (LHS > Limit - RHS) ? Limit : LHS + RHS;
- }
- /// Render a snippet of the address space near a location.
- static void PrintMemorySnippet(const Decorator &Decor, MemoryLocation Loc,
- Range *Ranges, unsigned NumRanges,
- const Diag::Arg *Args) {
- // Show at least the 8 bytes surrounding Loc.
- const unsigned MinBytesNearLoc = 4;
- MemoryLocation Min = subtractNoOverflow(Loc, MinBytesNearLoc);
- MemoryLocation Max = addNoOverflow(Loc, MinBytesNearLoc);
- MemoryLocation OrigMin = Min;
- for (unsigned I = 0; I < NumRanges; ++I) {
- Min = __sanitizer::Min(Ranges[I].getStart().getMemoryLocation(), Min);
- Max = __sanitizer::Max(Ranges[I].getEnd().getMemoryLocation(), Max);
- }
- // If we have too many interesting bytes, prefer to show bytes after Loc.
- const unsigned BytesToShow = 32;
- if (Max - Min > BytesToShow)
- Min = __sanitizer::Min(Max - BytesToShow, OrigMin);
- Max = addNoOverflow(Min, BytesToShow);
- if (!IsAccessibleMemoryRange(Min, Max - Min)) {
- Printf("<memory cannot be printed>\n");
- return;
- }
- // Emit data.
- InternalScopedString Buffer;
- for (uptr P = Min; P != Max; ++P) {
- unsigned char C = *reinterpret_cast<const unsigned char*>(P);
- Buffer.append("%s%02x", (P % 8 == 0) ? " " : " ", C);
- }
- Buffer.append("\n");
- // Emit highlights.
- Buffer.append("%s", Decor.Highlight());
- Range *InRange = upperBound(Min, Ranges, NumRanges);
- for (uptr P = Min; P != Max; ++P) {
- char Pad = ' ', Byte = ' ';
- if (InRange && InRange->getEnd().getMemoryLocation() == P)
- InRange = upperBound(P, Ranges, NumRanges);
- if (!InRange && P > Loc)
- break;
- if (InRange && InRange->getStart().getMemoryLocation() < P)
- Pad = '~';
- if (InRange && InRange->getStart().getMemoryLocation() <= P)
- Byte = '~';
- if (P % 8 == 0)
- Buffer.append("%c", Pad);
- Buffer.append("%c", Pad);
- Buffer.append("%c", P == Loc ? '^' : Byte);
- Buffer.append("%c", Byte);
- }
- Buffer.append("%s\n", Decor.Default());
- // Go over the line again, and print names for the ranges.
- InRange = 0;
- unsigned Spaces = 0;
- for (uptr P = Min; P != Max; ++P) {
- if (!InRange || InRange->getEnd().getMemoryLocation() == P)
- InRange = upperBound(P, Ranges, NumRanges);
- if (!InRange)
- break;
- Spaces += (P % 8) == 0 ? 2 : 1;
- if (InRange && InRange->getStart().getMemoryLocation() == P) {
- while (Spaces--)
- Buffer.append(" ");
- RenderText(&Buffer, InRange->getText(), Args);
- Buffer.append("\n");
- // FIXME: We only support naming one range for now!
- break;
- }
- Spaces += 2;
- }
- Printf("%s", Buffer.data());
- // FIXME: Print names for anything we can identify within the line:
- //
- // * If we can identify the memory itself as belonging to a particular
- // global, stack variable, or dynamic allocation, then do so.
- //
- // * If we have a pointer-size, pointer-aligned range highlighted,
- // determine whether the value of that range is a pointer to an
- // entity which we can name, and if so, print that name.
- //
- // This needs an external symbolizer, or (preferably) ASan instrumentation.
- }
- Diag::~Diag() {
- // All diagnostics should be printed under report mutex.
- ScopedReport::CheckLocked();
- Decorator Decor;
- InternalScopedString Buffer;
- // Prepare a report that a monitor process can inspect.
- if (Level == DL_Error) {
- RenderText(&Buffer, Message, Args);
- UndefinedBehaviorReport UBR{ConvertTypeToString(ET), Loc, Buffer};
- Buffer.clear();
- }
- Buffer.append("%s", Decor.Bold());
- RenderLocation(&Buffer, Loc);
- Buffer.append(":");
- switch (Level) {
- case DL_Error:
- Buffer.append("%s runtime error: %s%s", Decor.Warning(), Decor.Default(),
- Decor.Bold());
- break;
- case DL_Note:
- Buffer.append("%s note: %s", Decor.Note(), Decor.Default());
- break;
- }
- RenderText(&Buffer, Message, Args);
- Buffer.append("%s\n", Decor.Default());
- Printf("%s", Buffer.data());
- if (Loc.isMemoryLocation())
- PrintMemorySnippet(Decor, Loc.getMemoryLocation(), Ranges, NumRanges, Args);
- }
- ScopedReport::Initializer::Initializer() { InitAsStandaloneIfNecessary(); }
- ScopedReport::ScopedReport(ReportOptions Opts, Location SummaryLoc,
- ErrorType Type)
- : Opts(Opts), SummaryLoc(SummaryLoc), Type(Type) {}
- ScopedReport::~ScopedReport() {
- MaybePrintStackTrace(Opts.pc, Opts.bp);
- MaybeReportErrorSummary(SummaryLoc, Type);
- if (common_flags()->print_module_map >= 2)
- DumpProcessMap();
- if (flags()->halt_on_error)
- Die();
- }
- ALIGNED(64) static char suppression_placeholder[sizeof(SuppressionContext)];
- static SuppressionContext *suppression_ctx = nullptr;
- static const char kVptrCheck[] = "vptr_check";
- static const char *kSuppressionTypes[] = {
- #define UBSAN_CHECK(Name, SummaryKind, FSanitizeFlagName) FSanitizeFlagName,
- #include "ubsan_checks.inc"
- #undef UBSAN_CHECK
- kVptrCheck,
- };
- void __ubsan::InitializeSuppressions() {
- CHECK_EQ(nullptr, suppression_ctx);
- suppression_ctx = new (suppression_placeholder)
- SuppressionContext(kSuppressionTypes, ARRAY_SIZE(kSuppressionTypes));
- suppression_ctx->ParseFromFile(flags()->suppressions);
- }
- bool __ubsan::IsVptrCheckSuppressed(const char *TypeName) {
- InitAsStandaloneIfNecessary();
- CHECK(suppression_ctx);
- Suppression *s;
- return suppression_ctx->Match(TypeName, kVptrCheck, &s);
- }
- bool __ubsan::IsPCSuppressed(ErrorType ET, uptr PC, const char *Filename) {
- InitAsStandaloneIfNecessary();
- CHECK(suppression_ctx);
- const char *SuppType = ConvertTypeToFlagName(ET);
- // Fast path: don't symbolize PC if there is no suppressions for given UB
- // type.
- if (!suppression_ctx->HasSuppressionType(SuppType))
- return false;
- Suppression *s = nullptr;
- // Suppress by file name known to runtime.
- if (Filename != nullptr && suppression_ctx->Match(Filename, SuppType, &s))
- return true;
- // Suppress by module name.
- if (const char *Module = Symbolizer::GetOrInit()->GetModuleNameForPc(PC)) {
- if (suppression_ctx->Match(Module, SuppType, &s))
- return true;
- }
- // Suppress by function or source file name from debug info.
- SymbolizedStackHolder Stack(Symbolizer::GetOrInit()->SymbolizePC(PC));
- const AddressInfo &AI = Stack.get()->info;
- return suppression_ctx->Match(AI.function, SuppType, &s) ||
- suppression_ctx->Match(AI.file, SuppType, &s);
- }
- #endif // CAN_SANITIZE_UB
|