1 //===-- StackProtector.cpp - Stack Protector Insertion --------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This pass inserts stack protectors into functions which need them. A variable
11 // with a random value in it is stored onto the stack before the local variables
12 // are allocated. Upon exiting the block, the stored value is checked. If it's
13 // changed, then there was some sort of violation and the program aborts.
15 //===----------------------------------------------------------------------===//
17 #define DEBUG_TYPE "stack-protector"
18 #include "llvm/CodeGen/Passes.h"
19 #include "llvm/Attributes.h"
20 #include "llvm/Constants.h"
21 #include "llvm/DerivedTypes.h"
22 #include "llvm/Function.h"
23 #include "llvm/Instructions.h"
24 #include "llvm/Intrinsics.h"
25 #include "llvm/Module.h"
26 #include "llvm/Pass.h"
27 #include "llvm/Support/CommandLine.h"
28 #include "llvm/Target/TargetData.h"
29 #include "llvm/Target/TargetLowering.h"
32 // SSPBufferSize - The lower bound for a buffer to be considered for stack
33 // smashing protection.
34 static cl::opt
<unsigned>
35 SSPBufferSize("stack-protector-buffer-size", cl::init(8),
36 cl::desc("Lower bound for a buffer to be considered for "
40 class VISIBILITY_HIDDEN StackProtector
: public FunctionPass
{
41 /// TLI - Keep a pointer of a TargetLowering to consult for determining
42 /// target type sizes.
43 const TargetLowering
*TLI
;
48 /// InsertStackProtectors - Insert code into the prologue and epilogue of
51 /// - The prologue code loads and stores the stack guard onto the stack.
52 /// - The epilogue checks the value stored in the prologue against the
53 /// original value. It calls __stack_chk_fail if they differ.
54 bool InsertStackProtectors();
56 /// CreateFailBB - Create a basic block to jump to when the stack protector
58 BasicBlock
*CreateFailBB();
60 /// RequiresStackProtector - Check whether or not this function needs a
61 /// stack protector based upon the stack protector level.
62 bool RequiresStackProtector() const;
64 static char ID
; // Pass identification, replacement for typeid.
65 StackProtector() : FunctionPass(&ID
), TLI(0) {}
66 StackProtector(const TargetLowering
*tli
)
67 : FunctionPass(&ID
), TLI(tli
) {}
69 virtual bool runOnFunction(Function
&Fn
);
71 } // end anonymous namespace
73 char StackProtector::ID
= 0;
74 static RegisterPass
<StackProtector
>
75 X("stack-protector", "Insert stack protectors");
77 FunctionPass
*llvm::createStackProtectorPass(const TargetLowering
*tli
) {
78 return new StackProtector(tli
);
81 bool StackProtector::runOnFunction(Function
&Fn
) {
85 if (!RequiresStackProtector()) return false;
87 return InsertStackProtectors();
90 /// RequiresStackProtector - Check whether or not this function needs a stack
91 /// protector based upon the stack protector level. The heuristic we use is to
92 /// add a guard variable to functions that call alloca, and functions with
93 /// buffers larger than SSPBufferSize bytes.
94 bool StackProtector::RequiresStackProtector() const {
95 if (F
->hasFnAttr(Attribute::StackProtectReq
))
98 if (!F
->hasFnAttr(Attribute::StackProtect
))
101 const TargetData
*TD
= TLI
->getTargetData();
103 for (Function::iterator I
= F
->begin(), E
= F
->end(); I
!= E
; ++I
) {
106 for (BasicBlock::iterator
107 II
= BB
->begin(), IE
= BB
->end(); II
!= IE
; ++II
)
108 if (AllocaInst
*AI
= dyn_cast
<AllocaInst
>(II
)) {
109 if (AI
->isArrayAllocation())
110 // This is a call to alloca with a variable size. Emit stack
114 if (const ArrayType
*AT
= dyn_cast
<ArrayType
>(AI
->getAllocatedType()))
115 // If an array has more than SSPBufferSize bytes of allocated space,
116 // then we emit stack protectors.
117 if (SSPBufferSize
<= TD
->getTypeAllocSize(AT
))
125 /// InsertStackProtectors - Insert code into the prologue and epilogue of the
128 /// - The prologue code loads and stores the stack guard onto the stack.
129 /// - The epilogue checks the value stored in the prologue against the original
130 /// value. It calls __stack_chk_fail if they differ.
131 bool StackProtector::InsertStackProtectors() {
132 BasicBlock
*FailBB
= 0; // The basic block to jump to if check fails.
133 AllocaInst
*AI
= 0; // Place on stack that stores the stack guard.
134 Constant
*StackGuardVar
= 0; // The stack guard variable.
136 for (Function::iterator I
= F
->begin(), E
= F
->end(); I
!= E
; ) {
137 BasicBlock
*BB
= I
++;
139 ReturnInst
*RI
= dyn_cast
<ReturnInst
>(BB
->getTerminator());
143 // Insert code into the entry block that stores the __stack_chk_guard
144 // variable onto the stack:
147 // StackGuardSlot = alloca i8*
148 // StackGuard = load __stack_chk_guard
149 // call void @llvm.stackprotect.create(StackGuard, StackGuardSlot)
151 PointerType
*PtrTy
= PointerType::getUnqual(
152 Type::getInt8Ty(RI
->getContext()));
153 StackGuardVar
= M
->getOrInsertGlobal("__stack_chk_guard", PtrTy
);
155 BasicBlock
&Entry
= F
->getEntryBlock();
156 Instruction
*InsPt
= &Entry
.front();
158 AI
= new AllocaInst(PtrTy
, "StackGuardSlot", InsPt
);
159 LoadInst
*LI
= new LoadInst(StackGuardVar
, "StackGuard", false, InsPt
);
161 Value
*Args
[] = { LI
, AI
};
163 Create(Intrinsic::getDeclaration(M
, Intrinsic::stackprotector
),
164 &Args
[0], array_endof(Args
), "", InsPt
);
166 // Create the basic block to jump to when the guard check fails.
167 FailBB
= CreateFailBB();
170 // For each block with a return instruction, convert this:
180 // %1 = load __stack_chk_guard
181 // %2 = load StackGuardSlot
182 // %3 = cmp i1 %1, %2
183 // br i1 %3, label %SP_return, label %CallStackCheckFailBlk
188 // CallStackCheckFailBlk:
189 // call void @__stack_chk_fail()
192 // Split the basic block before the return instruction.
193 BasicBlock
*NewBB
= BB
->splitBasicBlock(RI
, "SP_return");
195 // Remove default branch instruction to the new BB.
196 BB
->getTerminator()->eraseFromParent();
198 // Move the newly created basic block to the point right after the old basic
199 // block so that it's in the "fall through" position.
200 NewBB
->moveAfter(BB
);
202 // Generate the stack protector instructions in the old basic block.
203 LoadInst
*LI1
= new LoadInst(StackGuardVar
, "", false, BB
);
204 LoadInst
*LI2
= new LoadInst(AI
, "", true, BB
);
205 ICmpInst
*Cmp
= new ICmpInst(*BB
, CmpInst::ICMP_EQ
, LI1
, LI2
, "");
206 BranchInst::Create(NewBB
, FailBB
, Cmp
, BB
);
209 // Return if we didn't modify any basic blocks. I.e., there are no return
210 // statements in the function.
211 if (!FailBB
) return false;
216 /// CreateFailBB - Create a basic block to jump to when the stack protector
218 BasicBlock
*StackProtector::CreateFailBB() {
219 BasicBlock
*FailBB
= BasicBlock::Create(F
->getContext(),
220 "CallStackCheckFailBlk", F
);
221 Constant
*StackChkFail
=
222 M
->getOrInsertFunction("__stack_chk_fail",
223 Type::getVoidTy(F
->getContext()), NULL
);
224 CallInst::Create(StackChkFail
, "", FailBB
);
225 new UnreachableInst(F
->getContext(), FailBB
);