13cab2bb3Spatrick //===-- sanitizer_symbolizer_report.cpp -----------------------------------===//
23cab2bb3Spatrick //
33cab2bb3Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
43cab2bb3Spatrick // See https://llvm.org/LICENSE.txt for license information.
53cab2bb3Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
63cab2bb3Spatrick //
73cab2bb3Spatrick //===----------------------------------------------------------------------===//
83cab2bb3Spatrick ///
93cab2bb3Spatrick /// This file is shared between AddressSanitizer and other sanitizer run-time
103cab2bb3Spatrick /// libraries and implements symbolized reports related functions.
113cab2bb3Spatrick ///
123cab2bb3Spatrick //===----------------------------------------------------------------------===//
133cab2bb3Spatrick
143cab2bb3Spatrick #include "sanitizer_common.h"
153cab2bb3Spatrick #include "sanitizer_file.h"
163cab2bb3Spatrick #include "sanitizer_flags.h"
173cab2bb3Spatrick #include "sanitizer_procmaps.h"
183cab2bb3Spatrick #include "sanitizer_report_decorator.h"
193cab2bb3Spatrick #include "sanitizer_stacktrace.h"
203cab2bb3Spatrick #include "sanitizer_stacktrace_printer.h"
213cab2bb3Spatrick #include "sanitizer_symbolizer.h"
223cab2bb3Spatrick
233cab2bb3Spatrick #if SANITIZER_POSIX
243cab2bb3Spatrick # include "sanitizer_posix.h"
253cab2bb3Spatrick # include <sys/mman.h>
263cab2bb3Spatrick #endif
273cab2bb3Spatrick
283cab2bb3Spatrick namespace __sanitizer {
293cab2bb3Spatrick
303cab2bb3Spatrick #if !SANITIZER_GO
ReportErrorSummary(const char * error_type,const AddressInfo & info,const char * alt_tool_name)313cab2bb3Spatrick void ReportErrorSummary(const char *error_type, const AddressInfo &info,
323cab2bb3Spatrick const char *alt_tool_name) {
333cab2bb3Spatrick if (!common_flags()->print_summary) return;
34d89ec533Spatrick InternalScopedString buff;
353cab2bb3Spatrick buff.append("%s ", error_type);
36d89ec533Spatrick RenderFrame(&buff, "%L %F", 0, info.address, &info,
37d89ec533Spatrick common_flags()->symbolize_vs_style,
383cab2bb3Spatrick common_flags()->strip_path_prefix);
393cab2bb3Spatrick ReportErrorSummary(buff.data(), alt_tool_name);
403cab2bb3Spatrick }
413cab2bb3Spatrick #endif
423cab2bb3Spatrick
433cab2bb3Spatrick #if !SANITIZER_FUCHSIA
443cab2bb3Spatrick
SupportsColors()453cab2bb3Spatrick bool ReportFile::SupportsColors() {
463cab2bb3Spatrick SpinMutexLock l(mu);
473cab2bb3Spatrick ReopenIfNecessary();
483cab2bb3Spatrick return SupportsColoredOutput(fd);
493cab2bb3Spatrick }
503cab2bb3Spatrick
ReportSupportsColors()51d89ec533Spatrick static inline bool ReportSupportsColors() {
523cab2bb3Spatrick return report_file.SupportsColors();
533cab2bb3Spatrick }
543cab2bb3Spatrick
553cab2bb3Spatrick #else // SANITIZER_FUCHSIA
563cab2bb3Spatrick
573cab2bb3Spatrick // Fuchsia's logs always go through post-processing that handles colorization.
ReportSupportsColors()58d89ec533Spatrick static inline bool ReportSupportsColors() { return true; }
593cab2bb3Spatrick
603cab2bb3Spatrick #endif // !SANITIZER_FUCHSIA
613cab2bb3Spatrick
ColorizeReports()623cab2bb3Spatrick bool ColorizeReports() {
633cab2bb3Spatrick // FIXME: Add proper Windows support to AnsiColorDecorator and re-enable color
643cab2bb3Spatrick // printing on Windows.
653cab2bb3Spatrick if (SANITIZER_WINDOWS)
663cab2bb3Spatrick return false;
673cab2bb3Spatrick
683cab2bb3Spatrick const char *flag = common_flags()->color;
693cab2bb3Spatrick return internal_strcmp(flag, "always") == 0 ||
703cab2bb3Spatrick (internal_strcmp(flag, "auto") == 0 && ReportSupportsColors());
713cab2bb3Spatrick }
723cab2bb3Spatrick
ReportErrorSummary(const char * error_type,const StackTrace * stack,const char * alt_tool_name)733cab2bb3Spatrick void ReportErrorSummary(const char *error_type, const StackTrace *stack,
743cab2bb3Spatrick const char *alt_tool_name) {
753cab2bb3Spatrick #if !SANITIZER_GO
763cab2bb3Spatrick if (!common_flags()->print_summary)
773cab2bb3Spatrick return;
783cab2bb3Spatrick if (stack->size == 0) {
793cab2bb3Spatrick ReportErrorSummary(error_type);
803cab2bb3Spatrick return;
813cab2bb3Spatrick }
823cab2bb3Spatrick // Currently, we include the first stack frame into the report summary.
833cab2bb3Spatrick // Maybe sometimes we need to choose another frame (e.g. skip memcpy/etc).
843cab2bb3Spatrick uptr pc = StackTrace::GetPreviousInstructionPc(stack->trace[0]);
853cab2bb3Spatrick SymbolizedStack *frame = Symbolizer::GetOrInit()->SymbolizePC(pc);
863cab2bb3Spatrick ReportErrorSummary(error_type, frame->info, alt_tool_name);
873cab2bb3Spatrick frame->ClearAll();
883cab2bb3Spatrick #endif
893cab2bb3Spatrick }
903cab2bb3Spatrick
ReportMmapWriteExec(int prot,int flags)91*810390e3Srobert void ReportMmapWriteExec(int prot, int flags) {
923cab2bb3Spatrick #if SANITIZER_POSIX && (!SANITIZER_GO && !SANITIZER_ANDROID)
93*810390e3Srobert int pflags = (PROT_WRITE | PROT_EXEC);
94*810390e3Srobert if ((prot & pflags) != pflags)
953cab2bb3Spatrick return;
963cab2bb3Spatrick
97*810390e3Srobert # if SANITIZER_APPLE && defined(MAP_JIT)
98*810390e3Srobert if ((flags & MAP_JIT) == MAP_JIT)
99*810390e3Srobert return;
100*810390e3Srobert # endif
101*810390e3Srobert
1023cab2bb3Spatrick ScopedErrorReportLock l;
1033cab2bb3Spatrick SanitizerCommonDecorator d;
1043cab2bb3Spatrick
1053cab2bb3Spatrick InternalMmapVector<BufferedStackTrace> stack_buffer(1);
1063cab2bb3Spatrick BufferedStackTrace *stack = stack_buffer.data();
1073cab2bb3Spatrick stack->Reset();
1083cab2bb3Spatrick uptr top = 0;
1093cab2bb3Spatrick uptr bottom = 0;
1103cab2bb3Spatrick GET_CALLER_PC_BP_SP;
1113cab2bb3Spatrick (void)sp;
1123cab2bb3Spatrick bool fast = common_flags()->fast_unwind_on_fatal;
1133cab2bb3Spatrick if (StackTrace::WillUseFastUnwind(fast)) {
1143cab2bb3Spatrick GetThreadStackTopAndBottom(false, &top, &bottom);
1153cab2bb3Spatrick stack->Unwind(kStackTraceMax, pc, bp, nullptr, top, bottom, true);
1163cab2bb3Spatrick } else {
1173cab2bb3Spatrick stack->Unwind(kStackTraceMax, pc, 0, nullptr, 0, 0, false);
1183cab2bb3Spatrick }
1193cab2bb3Spatrick
1203cab2bb3Spatrick Printf("%s", d.Warning());
1213cab2bb3Spatrick Report("WARNING: %s: writable-executable page usage\n", SanitizerToolName);
1223cab2bb3Spatrick Printf("%s", d.Default());
1233cab2bb3Spatrick
1243cab2bb3Spatrick stack->Print();
1253cab2bb3Spatrick ReportErrorSummary("w-and-x-usage", stack);
1263cab2bb3Spatrick #endif
1273cab2bb3Spatrick }
1283cab2bb3Spatrick
129d89ec533Spatrick #if !SANITIZER_FUCHSIA && !SANITIZER_GO
StartReportDeadlySignal()1303cab2bb3Spatrick void StartReportDeadlySignal() {
1313cab2bb3Spatrick // Write the first message using fd=2, just in case.
1323cab2bb3Spatrick // It may actually fail to write in case stderr is closed.
1333cab2bb3Spatrick CatastrophicErrorWrite(SanitizerToolName, internal_strlen(SanitizerToolName));
1343cab2bb3Spatrick static const char kDeadlySignal[] = ":DEADLYSIGNAL\n";
1353cab2bb3Spatrick CatastrophicErrorWrite(kDeadlySignal, sizeof(kDeadlySignal) - 1);
1363cab2bb3Spatrick }
1373cab2bb3Spatrick
MaybeReportNonExecRegion(uptr pc)1383cab2bb3Spatrick static void MaybeReportNonExecRegion(uptr pc) {
1393cab2bb3Spatrick #if SANITIZER_FREEBSD || SANITIZER_LINUX || SANITIZER_NETBSD
1403cab2bb3Spatrick MemoryMappingLayout proc_maps(/*cache_enabled*/ true);
1413cab2bb3Spatrick MemoryMappedSegment segment;
1423cab2bb3Spatrick while (proc_maps.Next(&segment)) {
1433cab2bb3Spatrick if (pc >= segment.start && pc < segment.end && !segment.IsExecutable())
1443cab2bb3Spatrick Report("Hint: PC is at a non-executable region. Maybe a wild jump?\n");
1453cab2bb3Spatrick }
1463cab2bb3Spatrick #endif
1473cab2bb3Spatrick }
1483cab2bb3Spatrick
PrintMemoryByte(InternalScopedString * str,const char * before,u8 byte)1493cab2bb3Spatrick static void PrintMemoryByte(InternalScopedString *str, const char *before,
1503cab2bb3Spatrick u8 byte) {
1513cab2bb3Spatrick SanitizerCommonDecorator d;
1523cab2bb3Spatrick str->append("%s%s%x%x%s ", before, d.MemoryByte(), byte >> 4, byte & 15,
1533cab2bb3Spatrick d.Default());
1543cab2bb3Spatrick }
1553cab2bb3Spatrick
MaybeDumpInstructionBytes(uptr pc)1563cab2bb3Spatrick static void MaybeDumpInstructionBytes(uptr pc) {
1573cab2bb3Spatrick if (!common_flags()->dump_instruction_bytes || (pc < GetPageSizeCached()))
1583cab2bb3Spatrick return;
159d89ec533Spatrick InternalScopedString str;
1603cab2bb3Spatrick str.append("First 16 instruction bytes at pc: ");
1613cab2bb3Spatrick if (IsAccessibleMemoryRange(pc, 16)) {
1623cab2bb3Spatrick for (int i = 0; i < 16; ++i) {
1633cab2bb3Spatrick PrintMemoryByte(&str, "", ((u8 *)pc)[i]);
1643cab2bb3Spatrick }
1653cab2bb3Spatrick str.append("\n");
1663cab2bb3Spatrick } else {
1673cab2bb3Spatrick str.append("unaccessible\n");
1683cab2bb3Spatrick }
1693cab2bb3Spatrick Report("%s", str.data());
1703cab2bb3Spatrick }
1713cab2bb3Spatrick
MaybeDumpRegisters(void * context)1723cab2bb3Spatrick static void MaybeDumpRegisters(void *context) {
1733cab2bb3Spatrick if (!common_flags()->dump_registers) return;
1743cab2bb3Spatrick SignalContext::DumpAllRegisters(context);
1753cab2bb3Spatrick }
1763cab2bb3Spatrick
ReportStackOverflowImpl(const SignalContext & sig,u32 tid,UnwindSignalStackCallbackType unwind,const void * unwind_context)1773cab2bb3Spatrick static void ReportStackOverflowImpl(const SignalContext &sig, u32 tid,
1783cab2bb3Spatrick UnwindSignalStackCallbackType unwind,
1793cab2bb3Spatrick const void *unwind_context) {
1803cab2bb3Spatrick SanitizerCommonDecorator d;
1813cab2bb3Spatrick Printf("%s", d.Warning());
1823cab2bb3Spatrick static const char kDescription[] = "stack-overflow";
1833cab2bb3Spatrick Report("ERROR: %s: %s on address %p (pc %p bp %p sp %p T%d)\n",
1843cab2bb3Spatrick SanitizerToolName, kDescription, (void *)sig.addr, (void *)sig.pc,
1853cab2bb3Spatrick (void *)sig.bp, (void *)sig.sp, tid);
1863cab2bb3Spatrick Printf("%s", d.Default());
1873cab2bb3Spatrick InternalMmapVector<BufferedStackTrace> stack_buffer(1);
1883cab2bb3Spatrick BufferedStackTrace *stack = stack_buffer.data();
1893cab2bb3Spatrick stack->Reset();
1903cab2bb3Spatrick unwind(sig, unwind_context, stack);
1913cab2bb3Spatrick stack->Print();
1923cab2bb3Spatrick ReportErrorSummary(kDescription, stack);
1933cab2bb3Spatrick }
1943cab2bb3Spatrick
ReportDeadlySignalImpl(const SignalContext & sig,u32 tid,UnwindSignalStackCallbackType unwind,const void * unwind_context)1953cab2bb3Spatrick static void ReportDeadlySignalImpl(const SignalContext &sig, u32 tid,
1963cab2bb3Spatrick UnwindSignalStackCallbackType unwind,
1973cab2bb3Spatrick const void *unwind_context) {
1983cab2bb3Spatrick SanitizerCommonDecorator d;
1993cab2bb3Spatrick Printf("%s", d.Warning());
2003cab2bb3Spatrick const char *description = sig.Describe();
2013cab2bb3Spatrick if (sig.is_memory_access && !sig.is_true_faulting_addr)
2023cab2bb3Spatrick Report("ERROR: %s: %s on unknown address (pc %p bp %p sp %p T%d)\n",
2033cab2bb3Spatrick SanitizerToolName, description, (void *)sig.pc, (void *)sig.bp,
2043cab2bb3Spatrick (void *)sig.sp, tid);
2053cab2bb3Spatrick else
2063cab2bb3Spatrick Report("ERROR: %s: %s on unknown address %p (pc %p bp %p sp %p T%d)\n",
2073cab2bb3Spatrick SanitizerToolName, description, (void *)sig.addr, (void *)sig.pc,
2083cab2bb3Spatrick (void *)sig.bp, (void *)sig.sp, tid);
2093cab2bb3Spatrick Printf("%s", d.Default());
2103cab2bb3Spatrick if (sig.pc < GetPageSizeCached())
2113cab2bb3Spatrick Report("Hint: pc points to the zero page.\n");
2123cab2bb3Spatrick if (sig.is_memory_access) {
2133cab2bb3Spatrick const char *access_type =
214*810390e3Srobert sig.write_flag == SignalContext::Write
2153cab2bb3Spatrick ? "WRITE"
216*810390e3Srobert : (sig.write_flag == SignalContext::Read ? "READ" : "UNKNOWN");
2173cab2bb3Spatrick Report("The signal is caused by a %s memory access.\n", access_type);
2183cab2bb3Spatrick if (!sig.is_true_faulting_addr)
2193cab2bb3Spatrick Report("Hint: this fault was caused by a dereference of a high value "
220d89ec533Spatrick "address (see register values below). Disassemble the provided "
2213cab2bb3Spatrick "pc to learn which register was used.\n");
2223cab2bb3Spatrick else if (sig.addr < GetPageSizeCached())
2233cab2bb3Spatrick Report("Hint: address points to the zero page.\n");
2243cab2bb3Spatrick }
2253cab2bb3Spatrick MaybeReportNonExecRegion(sig.pc);
2263cab2bb3Spatrick InternalMmapVector<BufferedStackTrace> stack_buffer(1);
2273cab2bb3Spatrick BufferedStackTrace *stack = stack_buffer.data();
2283cab2bb3Spatrick stack->Reset();
2293cab2bb3Spatrick unwind(sig, unwind_context, stack);
2303cab2bb3Spatrick stack->Print();
2313cab2bb3Spatrick MaybeDumpInstructionBytes(sig.pc);
2323cab2bb3Spatrick MaybeDumpRegisters(sig.context);
2333cab2bb3Spatrick Printf("%s can not provide additional info.\n", SanitizerToolName);
2343cab2bb3Spatrick ReportErrorSummary(description, stack);
2353cab2bb3Spatrick }
2363cab2bb3Spatrick
ReportDeadlySignal(const SignalContext & sig,u32 tid,UnwindSignalStackCallbackType unwind,const void * unwind_context)2373cab2bb3Spatrick void ReportDeadlySignal(const SignalContext &sig, u32 tid,
2383cab2bb3Spatrick UnwindSignalStackCallbackType unwind,
2393cab2bb3Spatrick const void *unwind_context) {
2403cab2bb3Spatrick if (sig.IsStackOverflow())
2413cab2bb3Spatrick ReportStackOverflowImpl(sig, tid, unwind, unwind_context);
2423cab2bb3Spatrick else
2433cab2bb3Spatrick ReportDeadlySignalImpl(sig, tid, unwind, unwind_context);
2443cab2bb3Spatrick }
2453cab2bb3Spatrick
HandleDeadlySignal(void * siginfo,void * context,u32 tid,UnwindSignalStackCallbackType unwind,const void * unwind_context)2463cab2bb3Spatrick void HandleDeadlySignal(void *siginfo, void *context, u32 tid,
2473cab2bb3Spatrick UnwindSignalStackCallbackType unwind,
2483cab2bb3Spatrick const void *unwind_context) {
2493cab2bb3Spatrick StartReportDeadlySignal();
2503cab2bb3Spatrick ScopedErrorReportLock rl;
2513cab2bb3Spatrick SignalContext sig(siginfo, context);
2523cab2bb3Spatrick ReportDeadlySignal(sig, tid, unwind, unwind_context);
2533cab2bb3Spatrick Report("ABORTING\n");
2543cab2bb3Spatrick Die();
2553cab2bb3Spatrick }
2563cab2bb3Spatrick
2573cab2bb3Spatrick #endif // !SANITIZER_FUCHSIA && !SANITIZER_GO
2583cab2bb3Spatrick
259d89ec533Spatrick atomic_uintptr_t ScopedErrorReportLock::reporting_thread_ = {0};
260d89ec533Spatrick StaticSpinMutex ScopedErrorReportLock::mutex_;
2613cab2bb3Spatrick
Lock()262d89ec533Spatrick void ScopedErrorReportLock::Lock() {
2633cab2bb3Spatrick uptr current = GetThreadSelf();
2643cab2bb3Spatrick for (;;) {
2653cab2bb3Spatrick uptr expected = 0;
266d89ec533Spatrick if (atomic_compare_exchange_strong(&reporting_thread_, &expected, current,
2673cab2bb3Spatrick memory_order_relaxed)) {
2683cab2bb3Spatrick // We've claimed reporting_thread so proceed.
269d89ec533Spatrick mutex_.Lock();
2703cab2bb3Spatrick return;
2713cab2bb3Spatrick }
2723cab2bb3Spatrick
2733cab2bb3Spatrick if (expected == current) {
2743cab2bb3Spatrick // This is either asynch signal or nested error during error reporting.
2753cab2bb3Spatrick // Fail simple to avoid deadlocks in Report().
2763cab2bb3Spatrick
2773cab2bb3Spatrick // Can't use Report() here because of potential deadlocks in nested
2783cab2bb3Spatrick // signal handlers.
2793cab2bb3Spatrick CatastrophicErrorWrite(SanitizerToolName,
2803cab2bb3Spatrick internal_strlen(SanitizerToolName));
2813cab2bb3Spatrick static const char msg[] = ": nested bug in the same thread, aborting.\n";
2823cab2bb3Spatrick CatastrophicErrorWrite(msg, sizeof(msg) - 1);
2833cab2bb3Spatrick
2843cab2bb3Spatrick internal__exit(common_flags()->exitcode);
2853cab2bb3Spatrick }
2863cab2bb3Spatrick
2873cab2bb3Spatrick internal_sched_yield();
2883cab2bb3Spatrick }
2893cab2bb3Spatrick }
2903cab2bb3Spatrick
Unlock()291d89ec533Spatrick void ScopedErrorReportLock::Unlock() {
292d89ec533Spatrick mutex_.Unlock();
293d89ec533Spatrick atomic_store_relaxed(&reporting_thread_, 0);
2943cab2bb3Spatrick }
2953cab2bb3Spatrick
CheckLocked()296d89ec533Spatrick void ScopedErrorReportLock::CheckLocked() { mutex_.CheckLocked(); }
2973cab2bb3Spatrick
2983cab2bb3Spatrick } // namespace __sanitizer
299