forked from OSchip/llvm-project
128 lines
3.9 KiB
C++
128 lines
3.9 KiB
C++
//===-- msan_report.cc ----------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is distributed under the University of Illinois Open Source
|
|
// License. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file is a part of MemorySanitizer.
|
|
//
|
|
// Error reporting.
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "msan.h"
|
|
#include "sanitizer_common/sanitizer_allocator_internal.h"
|
|
#include "sanitizer_common/sanitizer_common.h"
|
|
#include "sanitizer_common/sanitizer_flags.h"
|
|
#include "sanitizer_common/sanitizer_mutex.h"
|
|
#include "sanitizer_common/sanitizer_report_decorator.h"
|
|
#include "sanitizer_common/sanitizer_stackdepot.h"
|
|
#include "sanitizer_common/sanitizer_symbolizer.h"
|
|
|
|
using namespace __sanitizer;
|
|
|
|
namespace __msan {
|
|
|
|
class Decorator: private __sanitizer::AnsiColorDecorator {
|
|
public:
|
|
Decorator() : __sanitizer::AnsiColorDecorator(PrintsToTtyCached()) { }
|
|
const char *Warning() { return Red(); }
|
|
const char *Origin() { return Magenta(); }
|
|
const char *Name() { return Green(); }
|
|
const char *End() { return Default(); }
|
|
};
|
|
|
|
static void DescribeStackOrigin(const char *so, uptr pc) {
|
|
Decorator d;
|
|
char *s = internal_strdup(so);
|
|
char *sep = internal_strchr(s, '@');
|
|
CHECK(sep);
|
|
*sep = '\0';
|
|
Printf("%s", d.Origin());
|
|
Printf(
|
|
" %sUninitialized value was created by an allocation of '%s%s%s'"
|
|
" in the stack frame of function '%s%s%s'%s\n",
|
|
d.Origin(), d.Name(), s, d.Origin(), d.Name(),
|
|
Symbolizer::Get()->Demangle(sep + 1), d.Origin(), d.End());
|
|
InternalFree(s);
|
|
|
|
if (pc) {
|
|
// For some reason function address in LLVM IR is 1 less then the address
|
|
// of the first instruction.
|
|
pc += 1;
|
|
StackTrace::PrintStack(&pc, 1);
|
|
}
|
|
}
|
|
|
|
static void DescribeOrigin(u32 origin) {
|
|
VPrintf(1, " raw origin id: %d\n", origin);
|
|
uptr pc;
|
|
while (true) {
|
|
if (const char *so = GetOriginDescrIfStack(origin, &pc)) {
|
|
DescribeStackOrigin(so, pc);
|
|
break;
|
|
}
|
|
Decorator d;
|
|
uptr size = 0;
|
|
const uptr *trace = StackDepotGet(origin, &size);
|
|
CHECK_GT(size, 0);
|
|
if (TRACE_IS_CHAINED(trace[size - 1])) {
|
|
// Linked origin.
|
|
// FIXME: copied? modified? passed through? observed?
|
|
Printf(" %sUninitialized value was stored to memory at%s\n", d.Origin(),
|
|
d.End());
|
|
StackTrace::PrintStack(trace, size - 1);
|
|
origin = TRACE_TO_CHAINED_ID(trace[size - 1]);
|
|
} else {
|
|
Printf(" %sUninitialized value was created by a heap allocation%s\n",
|
|
d.Origin(), d.End());
|
|
StackTrace::PrintStack(trace, size);
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
void ReportUMR(StackTrace *stack, u32 origin) {
|
|
if (!__msan::flags()->report_umrs) return;
|
|
|
|
SpinMutexLock l(&CommonSanitizerReportMutex);
|
|
|
|
Decorator d;
|
|
Printf("%s", d.Warning());
|
|
Report(" WARNING: MemorySanitizer: use-of-uninitialized-value\n");
|
|
Printf("%s", d.End());
|
|
stack->Print();
|
|
if (origin) {
|
|
DescribeOrigin(origin);
|
|
}
|
|
ReportErrorSummary("use-of-uninitialized-value", stack);
|
|
}
|
|
|
|
void ReportExpectedUMRNotFound(StackTrace *stack) {
|
|
SpinMutexLock l(&CommonSanitizerReportMutex);
|
|
|
|
Printf(" WARNING: Expected use of uninitialized value not found\n");
|
|
stack->Print();
|
|
}
|
|
|
|
void ReportAtExitStatistics() {
|
|
SpinMutexLock l(&CommonSanitizerReportMutex);
|
|
|
|
if (msan_report_count > 0) {
|
|
Decorator d;
|
|
Printf("%s", d.Warning());
|
|
Printf("MemorySanitizer: %d warnings reported.\n", msan_report_count);
|
|
Printf("%s", d.End());
|
|
}
|
|
|
|
StackDepotStats *stack_depot_stats = StackDepotGetStats();
|
|
// FIXME: we want this at normal exit, too!
|
|
// FIXME: but only with verbosity=1 or something
|
|
Printf("Unique heap origins: %zu\n", stack_depot_stats->n_uniq_ids);
|
|
Printf("Stack depot mapped bytes: %zu\n", stack_depot_stats->mapped);
|
|
}
|
|
|
|
} // namespace __msan
|