blob: 659f8a01ab7fbc5ef386264ad9bd90fd6432a177 [file] [log] [blame]
Bill Wendling2b58ce52008-11-04 02:10:20 +00001//===-- StackProtector.cpp - Stack Protector Insertion --------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
Bill Wendling80a320d2008-11-04 21:53:09 +000010// 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
Bill Wendling2b58ce52008-11-04 02:10:20 +000013// changed, then there was some sort of violation and the program aborts.
14//
15//===----------------------------------------------------------------------===//
16
17#define DEBUG_TYPE "stack-protector"
18#include "llvm/CodeGen/Passes.h"
19#include "llvm/Constants.h"
20#include "llvm/DerivedTypes.h"
21#include "llvm/Function.h"
22#include "llvm/Instructions.h"
Bill Wendlingb2a42982008-11-06 02:29:10 +000023#include "llvm/Intrinsics.h"
Bill Wendling2b58ce52008-11-04 02:10:20 +000024#include "llvm/Module.h"
25#include "llvm/Pass.h"
26#include "llvm/ADT/APInt.h"
27#include "llvm/Support/CommandLine.h"
Bill Wendling80a320d2008-11-04 21:53:09 +000028#include "llvm/Target/TargetData.h"
29#include "llvm/Target/TargetLowering.h"
Bill Wendling2b58ce52008-11-04 02:10:20 +000030using namespace llvm;
31
Bill Wendlingf0eaa9a2008-11-05 00:46:15 +000032// SSPBufferSize - The lower bound for a buffer to be considered for stack
33// smashing protection.
Bill Wendling2b58ce52008-11-04 02:10:20 +000034static cl::opt<unsigned>
Bill Wendling80a320d2008-11-04 21:53:09 +000035SSPBufferSize("stack-protector-buffer-size", cl::init(8),
Bill Wendling2b58ce52008-11-04 02:10:20 +000036 cl::desc("The lower bound for a buffer to be considered for "
37 "stack smashing protection."));
38
39namespace {
40 class VISIBILITY_HIDDEN StackProtector : public FunctionPass {
Bill Wendling80a320d2008-11-04 21:53:09 +000041 /// Level - The level of stack protection.
42 SSP::StackProtectorLevel Level;
43
44 /// TLI - Keep a pointer of a TargetLowering to consult for determining
45 /// target type sizes.
46 const TargetLowering *TLI;
Bill Wendling2b58ce52008-11-04 02:10:20 +000047
Bill Wendling2b58ce52008-11-04 02:10:20 +000048 Function *F;
49 Module *M;
50
Bill Wendling613f7742008-11-05 00:00:21 +000051 /// InsertStackProtectors - Insert code into the prologue and epilogue of
52 /// the function.
53 ///
54 /// - The prologue code loads and stores the stack guard onto the stack.
55 /// - The epilogue checks the value stored in the prologue against the
56 /// original value. It calls __stack_chk_fail if they differ.
57 bool InsertStackProtectors();
Bill Wendling2b58ce52008-11-04 02:10:20 +000058
59 /// CreateFailBB - Create a basic block to jump to when the stack protector
60 /// check fails.
Bill Wendling613f7742008-11-05 00:00:21 +000061 BasicBlock *CreateFailBB();
Bill Wendling2b58ce52008-11-04 02:10:20 +000062
63 /// RequiresStackProtector - Check whether or not this function needs a
64 /// stack protector based upon the stack protector level.
Bill Wendling80a320d2008-11-04 21:53:09 +000065 bool RequiresStackProtector() const;
Bill Wendling2b58ce52008-11-04 02:10:20 +000066 public:
67 static char ID; // Pass identification, replacement for typeid.
Bill Wendling613f7742008-11-05 00:00:21 +000068 StackProtector() : FunctionPass(&ID), Level(SSP::OFF), TLI(0) {}
Bill Wendling80a320d2008-11-04 21:53:09 +000069 StackProtector(SSP::StackProtectorLevel lvl, const TargetLowering *tli)
Bill Wendling613f7742008-11-05 00:00:21 +000070 : FunctionPass(&ID), Level(lvl), TLI(tli) {}
Bill Wendling2b58ce52008-11-04 02:10:20 +000071
72 virtual bool runOnFunction(Function &Fn);
73 };
74} // end anonymous namespace
75
76char StackProtector::ID = 0;
77static RegisterPass<StackProtector>
78X("stack-protector", "Insert stack protectors");
79
Bill Wendling80a320d2008-11-04 21:53:09 +000080FunctionPass *llvm::createStackProtectorPass(SSP::StackProtectorLevel lvl,
81 const TargetLowering *tli) {
82 return new StackProtector(lvl, tli);
Bill Wendling2b58ce52008-11-04 02:10:20 +000083}
84
85bool StackProtector::runOnFunction(Function &Fn) {
86 F = &Fn;
87 M = F->getParent();
88
89 if (!RequiresStackProtector()) return false;
90
Bill Wendling613f7742008-11-05 00:00:21 +000091 return InsertStackProtectors();
Bill Wendling2b58ce52008-11-04 02:10:20 +000092}
93
Bill Wendling613f7742008-11-05 00:00:21 +000094/// InsertStackProtectors - Insert code into the prologue and epilogue of the
95/// function.
96///
97/// - The prologue code loads and stores the stack guard onto the stack.
98/// - The epilogue checks the value stored in the prologue against the original
99/// value. It calls __stack_chk_fail if they differ.
100bool StackProtector::InsertStackProtectors() {
Bill Wendling2b58ce52008-11-04 02:10:20 +0000101 std::vector<BasicBlock*> ReturnBBs;
Bill Wendling2b58ce52008-11-04 02:10:20 +0000102
Bill Wendling613f7742008-11-05 00:00:21 +0000103 for (Function::iterator I = F->begin(); I != F->end(); ++I)
Bill Wendling80a320d2008-11-04 21:53:09 +0000104 if (isa<ReturnInst>(I->getTerminator()))
Bill Wendling2b58ce52008-11-04 02:10:20 +0000105 ReturnBBs.push_back(I);
106
Bill Wendling613f7742008-11-05 00:00:21 +0000107 // If this function doesn't return, don't bother with stack protectors.
108 if (ReturnBBs.empty()) return false;
109
110 // Insert code into the entry block that stores the __stack_chk_guard variable
111 // onto the stack.
112 BasicBlock &Entry = F->getEntryBlock();
113 Instruction *InsertPt = &Entry.front();
Bill Wendlingb2a42982008-11-06 02:29:10 +0000114
Bill Wendling613f7742008-11-05 00:00:21 +0000115 const PointerType *GuardTy = PointerType::getUnqual(Type::Int8Ty);
116
117 // The global variable for the stack guard.
118 Constant *StackGuardVar = M->getOrInsertGlobal("__stack_chk_guard", GuardTy);
Bill Wendling613f7742008-11-05 00:00:21 +0000119 LoadInst *LI = new LoadInst(StackGuardVar, "StackGuard", false, InsertPt);
Bill Wendlingb2a42982008-11-06 02:29:10 +0000120 CallInst::
121 Create(Intrinsic::getDeclaration(M, Intrinsic::stackprotector_prologue),
122 LI, "", InsertPt);
Bill Wendling613f7742008-11-05 00:00:21 +0000123
124 // Create the basic block to jump to when the guard check fails.
125 BasicBlock *FailBB = CreateFailBB();
Bill Wendling2b58ce52008-11-04 02:10:20 +0000126
127 // Loop through the basic blocks that have return instructions. Convert this:
128 //
129 // return:
130 // ...
131 // ret ...
132 //
133 // into this:
134 //
135 // return:
136 // ...
137 // %1 = load __stack_chk_guard
138 // %2 = load <stored stack guard>
139 // %3 = cmp i1 %1, %2
Bill Wendlingb2a42982008-11-06 02:29:10 +0000140 // br i1 %3, label %SP_return, label %CallStackCheckFailBlk
Bill Wendling2b58ce52008-11-04 02:10:20 +0000141 //
Bill Wendlingb7c2c122008-11-04 22:51:24 +0000142 // SP_return:
Bill Wendling2b58ce52008-11-04 02:10:20 +0000143 // ret ...
144 //
145 // CallStackCheckFailBlk:
146 // call void @__stack_chk_fail()
147 // unreachable
148 //
149 for (std::vector<BasicBlock*>::iterator
Bill Wendling613f7742008-11-05 00:00:21 +0000150 I = ReturnBBs.begin(), E = ReturnBBs.end(); I != E; ++I) {
151 BasicBlock *BB = *I;
Bill Wendling2b58ce52008-11-04 02:10:20 +0000152 ReturnInst *RI = cast<ReturnInst>(BB->getTerminator());
153 Function::iterator InsPt = BB; ++InsPt; // Insertion point for new BB.
154
Bill Wendlingb7c2c122008-11-04 22:51:24 +0000155 // Split the basic block before the return instruction.
156 BasicBlock *NewBB = BB->splitBasicBlock(RI, "SP_return");
Bill Wendling2b58ce52008-11-04 02:10:20 +0000157
Bill Wendlingb7c2c122008-11-04 22:51:24 +0000158 // Move the newly created basic block to the point right after the old basic
Bill Wendling613f7742008-11-05 00:00:21 +0000159 // block so that it's in the "fall through" position.
Bill Wendlingb7c2c122008-11-04 22:51:24 +0000160 NewBB->removeFromParent();
161 F->getBasicBlockList().insert(InsPt, NewBB);
Bill Wendling2b58ce52008-11-04 02:10:20 +0000162
Bill Wendlingb7c2c122008-11-04 22:51:24 +0000163 // Generate the stack protector instructions in the old basic block.
Bill Wendlingb2a42982008-11-06 02:29:10 +0000164 LoadInst *LI1 = new LoadInst(StackGuardVar, "", false, BB);
165 CallInst *CI = CallInst::
166 Create(Intrinsic::getDeclaration(M, Intrinsic::stackprotector_epilogue),
167 "", BB);
168 ICmpInst *Cmp = new ICmpInst(CmpInst::ICMP_EQ, CI, LI1, "", BB);
Bill Wendling2b58ce52008-11-04 02:10:20 +0000169 BranchInst::Create(NewBB, FailBB, Cmp, BB);
170 }
Bill Wendling613f7742008-11-05 00:00:21 +0000171
172 return true;
Bill Wendling2b58ce52008-11-04 02:10:20 +0000173}
174
175/// CreateFailBB - Create a basic block to jump to when the stack protector
176/// check fails.
Bill Wendling613f7742008-11-05 00:00:21 +0000177BasicBlock *StackProtector::CreateFailBB() {
178 BasicBlock *FailBB = BasicBlock::Create("CallStackCheckFailBlk", F);
Bill Wendling2b58ce52008-11-04 02:10:20 +0000179 Constant *StackChkFail =
Bill Wendling80a320d2008-11-04 21:53:09 +0000180 M->getOrInsertFunction("__stack_chk_fail", Type::VoidTy, NULL);
Bill Wendling2b58ce52008-11-04 02:10:20 +0000181 CallInst::Create(StackChkFail, "", FailBB);
182 new UnreachableInst(FailBB);
Bill Wendling613f7742008-11-05 00:00:21 +0000183 return FailBB;
Bill Wendling2b58ce52008-11-04 02:10:20 +0000184}
185
186/// RequiresStackProtector - Check whether or not this function needs a stack
187/// protector based upon the stack protector level.
Bill Wendling80a320d2008-11-04 21:53:09 +0000188bool StackProtector::RequiresStackProtector() const {
Bill Wendling2b58ce52008-11-04 02:10:20 +0000189 switch (Level) {
190 default: return false;
Bill Wendling80a320d2008-11-04 21:53:09 +0000191 case SSP::ALL: return true;
192 case SSP::SOME: {
Bill Wendling2b58ce52008-11-04 02:10:20 +0000193 // If the size of the local variables allocated on the stack is greater than
194 // SSPBufferSize, then we require a stack protector.
195 uint64_t StackSize = 0;
Bill Wendling80a320d2008-11-04 21:53:09 +0000196 const TargetData *TD = TLI->getTargetData();
Bill Wendling2b58ce52008-11-04 02:10:20 +0000197
198 for (Function::iterator I = F->begin(), E = F->end(); I != E; ++I) {
199 BasicBlock *BB = I;
200
201 for (BasicBlock::iterator
202 II = BB->begin(), IE = BB->end(); II != IE; ++II)
Bill Wendling80a320d2008-11-04 21:53:09 +0000203 if (AllocaInst *AI = dyn_cast<AllocaInst>(II)) {
Bill Wendling2b58ce52008-11-04 02:10:20 +0000204 if (ConstantInt *CI = dyn_cast<ConstantInt>(AI->getArraySize())) {
Bill Wendlingfa75dc62008-11-05 00:54:27 +0000205 const Type *Ty = AI->getAllocatedType();
206 uint64_t TySize = TD->getABITypeSize(Ty);
207 StackSize += TySize * CI->getZExtValue(); // Total allocated size.
Bill Wendling2b58ce52008-11-04 02:10:20 +0000208
Bill Wendling80a320d2008-11-04 21:53:09 +0000209 if (SSPBufferSize <= StackSize)
210 return true;
211 }
212 }
213 }
Bill Wendling2b58ce52008-11-04 02:10:20 +0000214
215 return false;
216 }
217 }
218}