81 lines
3.5 KiB
C++
81 lines
3.5 KiB
C++
//===- ASanStackFrameLayout.h - ComputeASanStackFrameLayout -----*- 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This header defines ComputeASanStackFrameLayout and auxiliary data structs.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
#ifndef LLVM_TRANSFORMS_UTILS_ASANSTACKFRAMELAYOUT_H
|
|
#define LLVM_TRANSFORMS_UTILS_ASANSTACKFRAMELAYOUT_H
|
|
#include "llvm/ADT/SmallString.h"
|
|
#include "llvm/ADT/SmallVector.h"
|
|
|
|
namespace llvm {
|
|
|
|
class AllocaInst;
|
|
|
|
// These magic constants should be the same as in
|
|
// in asan_internal.h from ASan runtime in compiler-rt.
|
|
static const int kAsanStackLeftRedzoneMagic = 0xf1;
|
|
static const int kAsanStackMidRedzoneMagic = 0xf2;
|
|
static const int kAsanStackRightRedzoneMagic = 0xf3;
|
|
static const int kAsanStackUseAfterReturnMagic = 0xf5;
|
|
static const int kAsanStackUseAfterScopeMagic = 0xf8;
|
|
|
|
// Input/output data struct for ComputeASanStackFrameLayout.
|
|
struct ASanStackVariableDescription {
|
|
const char *Name; // Name of the variable that will be displayed by asan
|
|
// if a stack-related bug is reported.
|
|
uint64_t Size; // Size of the variable in bytes.
|
|
size_t LifetimeSize; // Size in bytes to use for lifetime analysis check.
|
|
// Will be rounded up to Granularity.
|
|
size_t Alignment; // Alignment of the variable (power of 2).
|
|
AllocaInst *AI; // The actual AllocaInst.
|
|
size_t Offset; // Offset from the beginning of the frame;
|
|
// set by ComputeASanStackFrameLayout.
|
|
unsigned Line; // Line number.
|
|
};
|
|
|
|
// Output data struct for ComputeASanStackFrameLayout.
|
|
struct ASanStackFrameLayout {
|
|
size_t Granularity; // Shadow granularity.
|
|
size_t FrameAlignment; // Alignment for the entire frame.
|
|
size_t FrameSize; // Size of the frame in bytes.
|
|
};
|
|
|
|
ASanStackFrameLayout ComputeASanStackFrameLayout(
|
|
// The array of stack variables. The elements may get reordered and changed.
|
|
SmallVectorImpl<ASanStackVariableDescription> &Vars,
|
|
// AddressSanitizer's shadow granularity. Usually 8, may also be 16, 32, 64.
|
|
size_t Granularity,
|
|
// The minimal size of the left-most redzone (header).
|
|
// At least 4 pointer sizes, power of 2, and >= Granularity.
|
|
// The resulting FrameSize should be multiple of MinHeaderSize.
|
|
size_t MinHeaderSize);
|
|
|
|
// Compute frame description, see DescribeAddressIfStack in ASan runtime.
|
|
SmallString<64> ComputeASanStackFrameDescription(
|
|
const SmallVectorImpl<ASanStackVariableDescription> &Vars);
|
|
|
|
// Returns shadow bytes with marked red zones. This shadow represents the state
|
|
// if the stack frame when all local variables are inside of the own scope.
|
|
SmallVector<uint8_t, 64>
|
|
GetShadowBytes(const SmallVectorImpl<ASanStackVariableDescription> &Vars,
|
|
const ASanStackFrameLayout &Layout);
|
|
|
|
// Returns shadow bytes with marked red zones and after scope. This shadow
|
|
// represents the state if the stack frame when all local variables are outside
|
|
// of the own scope.
|
|
SmallVector<uint8_t, 64> GetShadowBytesAfterScope(
|
|
// The array of stack variables. The elements may get reordered and changed.
|
|
const SmallVectorImpl<ASanStackVariableDescription> &Vars,
|
|
const ASanStackFrameLayout &Layout);
|
|
|
|
} // llvm namespace
|
|
|
|
#endif // LLVM_TRANSFORMS_UTILS_ASANSTACKFRAMELAYOUT_H
|