57#define DEBUG_TYPE "alloc-token"
63enum class TokenMode :
unsigned {
80 "Incrementally increasing token ID"),
82 "Statically-assigned random token ID"),
84 "Token ID based on allocated type hash")));
87 cl::desc(
"The allocation function prefix"),
91 cl::desc(
"Maximum number of tokens (0 = no max)"),
95 ClFastABI(
"alloc-token-fast-abi",
96 cl::desc(
"The token ID is encoded in the function name"),
104 ClExtended(
"alloc-token-extended",
105 cl::desc(
"Extend coverage to custom allocation functions"),
112cl::opt<bool> ClCoverReplaceableNew(
"alloc-token-cover-replaceable-new",
113 cl::desc(
"Cover replaceable operator new"),
117 "alloc-token-fallback",
118 cl::desc(
"The default fallback token where none could be determined"),
123STATISTIC(NumFunctionsInstrumented,
"Functions instrumented");
124STATISTIC(NumAllocationsInstrumented,
"Allocations instrumented");
135 assert(Ret->getNumOperands() == 1 &&
"bad !alloc_token");
143 : MaxTokens(MaxTokens ? MaxTokens : TokenTy.
getBitMask()) {
150 return Val % MaxTokens;
157class IncrementMode :
public ModeBase {
159 using ModeBase::ModeBase;
162 return boundedToken(Counter++);
170class RandomMode :
public ModeBase {
173 std::unique_ptr<RandomNumberGenerator> RNG)
174 : ModeBase(TokenTy, MaxTokens), RNG(std::move(RNG)) {}
176 return boundedToken((*RNG)());
180 std::unique_ptr<RandomNumberGenerator> RNG;
186class TypeHashMode :
public ModeBase {
188 using ModeBase::ModeBase;
191 if (
MDNode *
N = getAllocTokenMetadata(CB)) {
195 remarkNoMetadata(CB, ORE);
196 return ClFallbackToken;
200 static void remarkNoMetadata(
const CallBase &CB,
205 ore::NV CalleeNV(
"Callee", Callee ? Callee->getName() :
"<unknown>");
207 <<
"Call to '" << CalleeNV <<
"' in '" << FuncNV
208 <<
"' without source-level type token";
226 :
Options(transformOptionsFromCl(std::move(Opts))),
Mod(M),
228 Mode(IncrementMode(*IntPtrTy, *
Options.MaxTokens)) {
230 case TokenMode::Increment:
232 case TokenMode::Random:
233 Mode.emplace<RandomMode>(*IntPtrTy, *
Options.MaxTokens,
236 case TokenMode::TypeHash:
237 Mode.emplace<TypeHashMode>(*IntPtrTy, *
Options.MaxTokens);
246 std::optional<LibFunc>
254 static bool ignoreInstrumentableLibFunc(
LibFunc Func);
268 return std::visit([&](
auto &&
Mode) {
return Mode(CB, ORE); },
Mode);
278 std::variant<IncrementMode, RandomMode, TypeHashMode>
Mode;
281bool AllocToken::instrumentFunction(
Function &
F) {
283 if (
F.hasFnAttribute(Attribute::Naked))
285 if (
F.hasFnAttribute(Attribute::DisableSanitizerInstrumentation))
291 if (!
F.hasFnAttribute(Attribute::SanitizeAllocToken))
303 if (std::optional<LibFunc> Func = shouldInstrumentCall(*CB, TLI))
304 AllocCalls.emplace_back(CB, Func.value());
308 for (
auto &[CB, Func] : AllocCalls)
309 Modified |= replaceAllocationCall(CB, Func, ORE, TLI);
312 NumFunctionsInstrumented++;
316std::optional<LibFunc>
317AllocToken::shouldInstrumentCall(
const CallBase &CB,
328 if (isInstrumentableLibFunc(Func, CB, TLI))
330 }
else if (
Options.Extended && getAllocTokenMetadata(CB)) {
337bool AllocToken::isInstrumentableLibFunc(
LibFunc Func,
const CallBase &CB,
339 if (ignoreInstrumentableLibFunc(Func))
348 case LibFunc_posix_memalign:
349 case LibFunc_size_returning_new:
350 case LibFunc_size_returning_new_hot_cold:
351 case LibFunc_size_returning_new_aligned:
352 case LibFunc_size_returning_new_aligned_hot_cold:
357 case LibFunc_ZnwjRKSt9nothrow_t:
358 case LibFunc_ZnwjSt11align_val_t:
359 case LibFunc_ZnwjSt11align_val_tRKSt9nothrow_t:
361 case LibFunc_Znwm12__hot_cold_t:
362 case LibFunc_ZnwmRKSt9nothrow_t:
363 case LibFunc_ZnwmRKSt9nothrow_t12__hot_cold_t:
364 case LibFunc_ZnwmSt11align_val_t:
365 case LibFunc_ZnwmSt11align_val_t12__hot_cold_t:
366 case LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t:
367 case LibFunc_ZnwmSt11align_val_tRKSt9nothrow_t12__hot_cold_t:
369 case LibFunc_ZnajRKSt9nothrow_t:
370 case LibFunc_ZnajSt11align_val_t:
371 case LibFunc_ZnajSt11align_val_tRKSt9nothrow_t:
373 case LibFunc_Znam12__hot_cold_t:
374 case LibFunc_ZnamRKSt9nothrow_t:
375 case LibFunc_ZnamRKSt9nothrow_t12__hot_cold_t:
376 case LibFunc_ZnamSt11align_val_t:
377 case LibFunc_ZnamSt11align_val_t12__hot_cold_t:
378 case LibFunc_ZnamSt11align_val_tRKSt9nothrow_t:
379 case LibFunc_ZnamSt11align_val_tRKSt9nothrow_t12__hot_cold_t:
380 return ClCoverReplaceableNew;
387bool AllocToken::ignoreInstrumentableLibFunc(
LibFunc Func) {
390 case LibFunc_dunder_strdup:
391 case LibFunc_strndup:
392 case LibFunc_dunder_strndup:
404 FunctionCallee TokenAlloc = getTokenAllocFunction(*CB, TokenID, Func);
407 NumAllocationsInstrumented++;
419 NewArgs.
push_back(ConstantInt::get(IntPtrTy, TokenID));
426 II->getUnwindDest(), NewArgs);
428 NewCall = IRB.
CreateCall(TokenAlloc, NewArgs);
444 std::optional<std::pair<LibFunc, uint64_t>>
Key;
446 Key = std::make_pair(OriginalFunc,
Options.FastABI ? TokenID : 0);
447 auto It = TokenAllocFunctions.find(*
Key);
448 if (It != TokenAllocFunctions.end())
456 if (OldFTy->isVarArg())
459 Type *RetTy = OldFTy->getReturnType();
461 std::string TokenAllocName = ClFuncPrefix;
463 TokenAllocName +=
utostr(TokenID) +
"_";
466 TokenAllocName += Callee->getName();
470 F->copyAttributesFrom(Callee);
473 TokenAllocFunctions[*
Key] = TokenAlloc;
483 AllocToken
Pass(Options, M,
MAM);
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Expand Atomic instructions
This file contains the simple types necessary to represent the attributes associated with functions a...
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseMap class.
Module.h This file contains the declarations for the Module class.
This header defines various interfaces for pass management in LLVM.
print mir2vec MIR2Vec Vocabulary Printer Pass
uint64_t IntrinsicInst * II
if(auto Err=PB.parsePassPipeline(MPM, Passes)) return wrap(std MPM run * Mod
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
static cl::opt< RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode > Mode("regalloc-enable-advisor", cl::Hidden, cl::init(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default), cl::desc("Enable regalloc advisor mode"), cl::values(clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Default, "default", "Default"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Release, "release", "precompiled"), clEnumValN(RegAllocEvictionAdvisorAnalysisLegacy::AdvisorMode::Development, "development", "for training")))
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
LLVM_ABI AllocTokenPass(AllocTokenOptions Opts={})
LLVM_ABI PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
Represents analyses that only rely on functions' control flow.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
void setCallingConv(CallingConv::ID CC)
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
CallingConv::ID getCallingConv() const
void setAttributes(AttributeList A)
Set the attributes for this call.
iterator_range< User::op_iterator > args()
Iteration adapter for range-for loops.
unsigned arg_size() const
AttributeList getAttributes() const
Return the attributes for this call.
void setCalledFunction(Function *Fn)
Sets the function called, including updating the function type.
LLVM_ABI bool isTailCall() const
Tests if this call site is marked as a tail call.
void setTailCall(bool IsTc=true)
A handy container for a FunctionType+Callee-pointer pair, which can be passed around as a single enti...
FunctionType * getFunctionType()
unsigned getNumParams() const
Return the number of fixed parameters this function type requires.
static LLVM_ABI FunctionType * get(Type *Result, ArrayRef< Type * > Params, bool isVarArg)
This static method is the primary way of constructing a FunctionType.
@ AvailableExternallyLinkage
Available for inspection, not emission.
InvokeInst * CreateInvoke(FunctionType *Ty, Value *Callee, BasicBlock *NormalDest, BasicBlock *UnwindDest, ArrayRef< Value * > Args, ArrayRef< OperandBundleDef > OpBundles, const Twine &Name="")
Create an invoke instruction.
CallInst * CreateCall(FunctionType *FTy, Value *Callee, ArrayRef< Value * > Args={}, const Twine &Name="", MDNode *FPMathTag=nullptr)
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
LLVM_ABI InstListType::iterator eraseFromParent()
This method unlinks 'this' from the containing basic block and deletes it.
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this Instruction.
LLVM_ABI void copyMetadata(const Instruction &SrcInst, ArrayRef< unsigned > WL=ArrayRef< unsigned >())
Copy metadata from SrcInst to this instruction.
Class to represent integer types.
uint64_t getBitMask() const
Return a bitmask with ones set for all of the bits that can be set by an unsigned version of this typ...
LLVM_ABI StringRef getString() const
A Module instance is used to store all the information related to an LLVM module.
Pass interface - Implemented by all 'passes'.
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
PreservedAnalyses & preserveSet()
Mark an analysis set as preserved.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Analysis pass providing the TargetLibraryInfo.
Provides information about what library functions are available for the current target.
bool getLibFunc(StringRef funcName, LibFunc &F) const
Searches for a particular function name.
The instances of the Type class are immutable: once they are created, they are never changed.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
const ParentTy * getParent() const
Pass manager infrastructure for declaring and invalidating analyses.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
DiagnosticInfoOptimizationBase::Argument NV
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI std::pair< StringRef, StringRef > getToken(StringRef Source, StringRef Delimiters=" \t\n\v\f\r")
getToken - This function extracts one token from source, ignoring any leading characters that appear ...
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
InnerAnalysisManagerProxy< FunctionAnalysisManager, Module > FunctionAnalysisManagerModuleProxy
Provide the FunctionAnalysisManager to Module proxy.
std::string utostr(uint64_t X, bool isNeg=false)
LLVM_ABI uint64_t getStableSipHash(StringRef Str)
Compute a stable 64-bit hash of the given string.
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
@ Mod
The access may modify the value stored in memory.
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
LLVM_ABI bool isAllocationFn(const Value *V, const TargetLibraryInfo *TLI)
Tests if a value is a call or invoke to a library function that allocates or reallocates memory (eith...
AnalysisManager< Function > FunctionAnalysisManager
Convenience typedef for the Function analysis manager.
AnalysisManager< Module > ModuleAnalysisManager
Convenience typedef for the Module analysis manager.
Implement std::hash so that hash_code can be used in STL containers.
std::optional< uint64_t > MaxTokens