You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
193 lines
6.6 KiB
193 lines
6.6 KiB
//===-- report.cpp ----------------------------------------------*- C++ -*-===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "report.h"
|
|
|
|
#include "atomic_helpers.h"
|
|
#include "string_utils.h"
|
|
|
|
#include <stdarg.h>
|
|
|
|
namespace scudo {
|
|
|
|
class ScopedErrorReport {
|
|
public:
|
|
ScopedErrorReport() : Message(512) { Message.append("Scudo ERROR: "); }
|
|
void append(const char *Format, ...) {
|
|
va_list Args;
|
|
va_start(Args, Format);
|
|
Message.append(Format, Args);
|
|
va_end(Args);
|
|
}
|
|
NORETURN ~ScopedErrorReport() {
|
|
outputRaw(Message.data());
|
|
setAbortMessage(Message.data());
|
|
die();
|
|
}
|
|
|
|
private:
|
|
ScopedString Message;
|
|
};
|
|
|
|
inline void NORETURN trap() { __builtin_trap(); }
|
|
|
|
// This could potentially be called recursively if a CHECK fails in the reports.
|
|
void NORETURN reportCheckFailed(const char *File, int Line,
|
|
const char *Condition, u64 Value1, u64 Value2) {
|
|
static atomic_u32 NumberOfCalls;
|
|
if (atomic_fetch_add(&NumberOfCalls, 1, memory_order_relaxed) > 2) {
|
|
// TODO(kostyak): maybe sleep here?
|
|
trap();
|
|
}
|
|
ScopedErrorReport Report;
|
|
Report.append("CHECK failed @ %s:%d %s (%llu, %llu)\n", File, Line, Condition,
|
|
Value1, Value2);
|
|
}
|
|
|
|
// Generic string fatal error message.
|
|
void NORETURN reportError(const char *Message) {
|
|
ScopedErrorReport Report;
|
|
Report.append("%s\n", Message);
|
|
}
|
|
|
|
void NORETURN reportInvalidFlag(const char *FlagType, const char *Value) {
|
|
ScopedErrorReport Report;
|
|
Report.append("invalid value for %s option: '%s'\n", FlagType, Value);
|
|
}
|
|
|
|
// The checksum of a chunk header is invalid. This could be caused by an
|
|
// {over,under}write of the header, a pointer that is not an actual chunk.
|
|
void NORETURN reportHeaderCorruption(void *Ptr) {
|
|
ScopedErrorReport Report;
|
|
Report.append("corrupted chunk header at address %p\n", Ptr);
|
|
}
|
|
|
|
// Two threads have attempted to modify a chunk header at the same time. This is
|
|
// symptomatic of a race-condition in the application code, or general lack of
|
|
// proper locking.
|
|
void NORETURN reportHeaderRace(void *Ptr) {
|
|
ScopedErrorReport Report;
|
|
Report.append("race on chunk header at address %p\n", Ptr);
|
|
}
|
|
|
|
// The allocator was compiled with parameters that conflict with field size
|
|
// requirements.
|
|
void NORETURN reportSanityCheckError(const char *Field) {
|
|
ScopedErrorReport Report;
|
|
Report.append("maximum possible %s doesn't fit in header\n", Field);
|
|
}
|
|
|
|
// We enforce a maximum alignment, to keep fields smaller and generally prevent
|
|
// integer overflows, or unexpected corner cases.
|
|
void NORETURN reportAlignmentTooBig(uptr Alignment, uptr MaxAlignment) {
|
|
ScopedErrorReport Report;
|
|
Report.append("invalid allocation alignment: %zu exceeds maximum supported "
|
|
"alignment of %zu\n",
|
|
Alignment, MaxAlignment);
|
|
}
|
|
|
|
// See above, we also enforce a maximum size.
|
|
void NORETURN reportAllocationSizeTooBig(uptr UserSize, uptr TotalSize,
|
|
uptr MaxSize) {
|
|
ScopedErrorReport Report;
|
|
Report.append("requested allocation size %zu (%zu after adjustments) exceeds "
|
|
"maximum supported size of %zu\n",
|
|
UserSize, TotalSize, MaxSize);
|
|
}
|
|
|
|
void NORETURN reportOutOfMemory(uptr RequestedSize) {
|
|
ScopedErrorReport Report;
|
|
Report.append("out of memory trying to allocate %zu bytes\n", RequestedSize);
|
|
}
|
|
|
|
static const char *stringifyAction(AllocatorAction Action) {
|
|
switch (Action) {
|
|
case AllocatorAction::Recycling:
|
|
return "recycling";
|
|
case AllocatorAction::Deallocating:
|
|
return "deallocating";
|
|
case AllocatorAction::Reallocating:
|
|
return "reallocating";
|
|
case AllocatorAction::Sizing:
|
|
return "sizing";
|
|
}
|
|
return "<invalid action>";
|
|
}
|
|
|
|
// The chunk is not in a state congruent with the operation we want to perform.
|
|
// This is usually the case with a double-free, a realloc of a freed pointer.
|
|
void NORETURN reportInvalidChunkState(AllocatorAction Action, void *Ptr) {
|
|
ScopedErrorReport Report;
|
|
Report.append("invalid chunk state when %s address %p\n",
|
|
stringifyAction(Action), Ptr);
|
|
}
|
|
|
|
void NORETURN reportMisalignedPointer(AllocatorAction Action, void *Ptr) {
|
|
ScopedErrorReport Report;
|
|
Report.append("misaligned pointer when %s address %p\n",
|
|
stringifyAction(Action), Ptr);
|
|
}
|
|
|
|
// The deallocation function used is at odds with the one used to allocate the
|
|
// chunk (eg: new[]/delete or malloc/delete, and so on).
|
|
void NORETURN reportDeallocTypeMismatch(AllocatorAction Action, void *Ptr,
|
|
u8 TypeA, u8 TypeB) {
|
|
ScopedErrorReport Report;
|
|
Report.append("allocation type mismatch when %s address %p (%d vs %d)\n",
|
|
stringifyAction(Action), Ptr, TypeA, TypeB);
|
|
}
|
|
|
|
// The size specified to the delete operator does not match the one that was
|
|
// passed to new when allocating the chunk.
|
|
void NORETURN reportDeleteSizeMismatch(void *Ptr, uptr Size,
|
|
uptr ExpectedSize) {
|
|
ScopedErrorReport Report;
|
|
Report.append(
|
|
"invalid sized delete when deallocating address %p (%zu vs %zu)\n", Ptr,
|
|
Size, ExpectedSize);
|
|
}
|
|
|
|
void NORETURN reportAlignmentNotPowerOfTwo(uptr Alignment) {
|
|
ScopedErrorReport Report;
|
|
Report.append(
|
|
"invalid allocation alignment: %zu, alignment must be a power of two\n",
|
|
Alignment);
|
|
}
|
|
|
|
void NORETURN reportCallocOverflow(uptr Count, uptr Size) {
|
|
ScopedErrorReport Report;
|
|
Report.append("calloc parameters overflow: count * size (%zu * %zu) cannot "
|
|
"be represented with type size_t\n",
|
|
Count, Size);
|
|
}
|
|
|
|
void NORETURN reportInvalidPosixMemalignAlignment(uptr Alignment) {
|
|
ScopedErrorReport Report;
|
|
Report.append(
|
|
"invalid alignment requested in posix_memalign: %zu, alignment must be a "
|
|
"power of two and a multiple of sizeof(void *) == %zu\n",
|
|
Alignment, sizeof(void *));
|
|
}
|
|
|
|
void NORETURN reportPvallocOverflow(uptr Size) {
|
|
ScopedErrorReport Report;
|
|
Report.append("pvalloc parameters overflow: size %zu rounded up to system "
|
|
"page size %zu cannot be represented in type size_t\n",
|
|
Size, getPageSizeCached());
|
|
}
|
|
|
|
void NORETURN reportInvalidAlignedAllocAlignment(uptr Alignment, uptr Size) {
|
|
ScopedErrorReport Report;
|
|
Report.append("invalid alignment requested in aligned_alloc: %zu, alignment "
|
|
"must be a power of two and the requested size %zu must be a "
|
|
"multiple of alignment\n",
|
|
Alignment, Size);
|
|
}
|
|
|
|
} // namespace scudo
|