OLD | NEW |
1 //===- subzero/src/IceASanInstrumentation.cpp - ASan ------------*- C++ -*-===// | 1 //===- subzero/src/IceASanInstrumentation.cpp - ASan ------------*- C++ -*-===// |
2 // | 2 // |
3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
4 // | 4 // |
5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
7 // | 7 // |
8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
9 /// | 9 /// |
10 /// \file | 10 /// \file |
11 /// \brief Implements the AddressSanitizer instrumentation class. | 11 /// \brief Implements the AddressSanitizer instrumentation class. |
12 /// | 12 /// |
13 //===----------------------------------------------------------------------===// | 13 //===----------------------------------------------------------------------===// |
14 | 14 |
15 #include "IceASanInstrumentation.h" | 15 #include "IceASanInstrumentation.h" |
16 | 16 |
17 #include "IceBuildDefs.h" | 17 #include "IceBuildDefs.h" |
18 #include "IceCfgNode.h" | 18 #include "IceCfgNode.h" |
19 #include "IceGlobalInits.h" | 19 #include "IceGlobalInits.h" |
20 #include "IceInst.h" | 20 #include "IceInst.h" |
21 #include "IceTargetLowering.h" | 21 #include "IceTargetLowering.h" |
22 #include "IceTypes.h" | 22 #include "IceTypes.h" |
23 | 23 |
24 #include <sstream> | 24 #include <sstream> |
| 25 #include <unordered_map> |
25 | 26 |
26 namespace Ice { | 27 namespace Ice { |
27 | 28 |
28 namespace { | 29 namespace { |
29 constexpr SizeT RzSize = 32; | 30 constexpr SizeT RzSize = 32; |
30 const std::string RzPrefix = "__$rz"; | 31 const std::string RzPrefix = "__$rz"; |
31 const llvm::NaClBitcodeRecord::RecordVector RzContents = | 32 const llvm::NaClBitcodeRecord::RecordVector RzContents = |
32 llvm::NaClBitcodeRecord::RecordVector(RzSize, 'R'); | 33 llvm::NaClBitcodeRecord::RecordVector(RzSize, 'R'); |
| 34 |
| 35 // TODO(tlively): Handle all allocation functions |
| 36 // In order to instrument the code correctly, the .pexe must not have had its |
| 37 // symbols stripped. |
| 38 using string_map = std::unordered_map<std::string, std::string>; |
| 39 const string_map FuncSubstitutions = {{"malloc", "__asan_malloc"}, |
| 40 {"free", "__asan_free"}}; |
| 41 |
33 } // end of anonymous namespace | 42 } // end of anonymous namespace |
34 | 43 |
35 // Create redzones around all global variables, ensuring that the initializer | 44 // Create redzones around all global variables, ensuring that the initializer |
36 // types of the redzones and their associated globals match so that they are | 45 // types of the redzones and their associated globals match so that they are |
37 // laid out together in memory. | 46 // laid out together in memory. |
38 void ASanInstrumentation::instrumentGlobals(VariableDeclarationList &Globals) { | 47 void ASanInstrumentation::instrumentGlobals(VariableDeclarationList &Globals) { |
39 if (DidInsertRedZones) | 48 if (DidInsertRedZones) |
40 return; | 49 return; |
41 | 50 |
42 VariableDeclarationList NewGlobals; | 51 VariableDeclarationList NewGlobals; |
(...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
106 Rz->addInitializer( | 115 Rz->addInitializer( |
107 VariableDeclaration::ZeroInitializer::create(List, RzSize)); | 116 VariableDeclaration::ZeroInitializer::create(List, RzSize)); |
108 } | 117 } |
109 Rz->setIsConstant(Global->getIsConstant()); | 118 Rz->setIsConstant(Global->getIsConstant()); |
110 RzArray->addInitializer(VariableDeclaration::RelocInitializer::create( | 119 RzArray->addInitializer(VariableDeclaration::RelocInitializer::create( |
111 List, Rz, RelocOffsetArray(0))); | 120 List, Rz, RelocOffsetArray(0))); |
112 ++RzArraySize; | 121 ++RzArraySize; |
113 return Rz; | 122 return Rz; |
114 } | 123 } |
115 | 124 |
| 125 void ASanInstrumentation::instrumentCall(LoweringContext &Context, |
| 126 InstCall *Instr) { |
| 127 auto *CallTarget = |
| 128 llvm::dyn_cast<ConstantRelocatable>(Instr->getCallTarget()); |
| 129 if (CallTarget == nullptr) |
| 130 return; |
| 131 |
| 132 std::string TargetName = CallTarget->getName().toStringOrEmpty(); |
| 133 auto Subst = FuncSubstitutions.find(TargetName); |
| 134 if (Subst == FuncSubstitutions.end()) |
| 135 return; |
| 136 |
| 137 std::string SubName = Subst->second; |
| 138 Constant *NewFunc = |
| 139 Ctx->getConstantExternSym(Ctx->getGlobalString(SubName)); |
| 140 auto *NewCall = |
| 141 InstCall::create(Context.getNode()->getCfg(), Instr->getNumArgs(), |
| 142 Instr->getDest(), NewFunc, Instr->isTailcall()); |
| 143 for (SizeT I = 0, Args = Instr->getNumArgs(); I < Args; ++I) |
| 144 NewCall->addArg(Instr->getArg(I)); |
| 145 Context.insert(NewCall); |
| 146 Instr->setDeleted(); |
| 147 } |
| 148 |
116 void ASanInstrumentation::instrumentLoad(LoweringContext &Context, | 149 void ASanInstrumentation::instrumentLoad(LoweringContext &Context, |
117 const InstLoad *Inst) { | 150 InstLoad *Instr) { |
118 instrumentAccess(Context, Inst->getSourceAddress(), | 151 instrumentAccess(Context, Instr->getSourceAddress(), |
119 typeWidthInBytes(Inst->getDest()->getType())); | 152 typeWidthInBytes(Instr->getDest()->getType())); |
120 } | 153 } |
121 | 154 |
122 void ASanInstrumentation::instrumentStore(LoweringContext &Context, | 155 void ASanInstrumentation::instrumentStore(LoweringContext &Context, |
123 const InstStore *Inst) { | 156 InstStore *Instr) { |
124 instrumentAccess(Context, Inst->getAddr(), | 157 instrumentAccess(Context, Instr->getAddr(), |
125 typeWidthInBytes(Inst->getData()->getType())); | 158 typeWidthInBytes(Instr->getData()->getType())); |
126 } | 159 } |
127 | 160 |
128 // TODO(tlively): Take size of access into account as well | 161 // TODO(tlively): Take size of access into account as well |
129 void ASanInstrumentation::instrumentAccess(LoweringContext &Context, | 162 void ASanInstrumentation::instrumentAccess(LoweringContext &Context, |
130 Operand *Op, SizeT Size) { | 163 Operand *Op, SizeT Size) { |
131 Constant *AccessCheck = | 164 Constant *AccessCheck = |
132 Ctx->getConstantExternSym(Ctx->getGlobalString("__asan_check")); | 165 Ctx->getConstantExternSym(Ctx->getGlobalString("__asan_check")); |
133 constexpr SizeT NumArgs = 2; | 166 constexpr SizeT NumArgs = 2; |
134 constexpr Variable *Void = nullptr; | 167 constexpr Variable *Void = nullptr; |
135 constexpr bool NoTailCall = false; | 168 constexpr bool NoTailCall = false; |
(...skipping 12 matching lines...) Expand all Loading... |
148 Constant *ShadowMemInit = | 181 Constant *ShadowMemInit = |
149 Ctx->getConstantExternSym(Ctx->getGlobalString("__asan_init")); | 182 Ctx->getConstantExternSym(Ctx->getGlobalString("__asan_init")); |
150 constexpr SizeT NumArgs = 0; | 183 constexpr SizeT NumArgs = 0; |
151 constexpr Variable *Void = nullptr; | 184 constexpr Variable *Void = nullptr; |
152 constexpr bool NoTailCall = false; | 185 constexpr bool NoTailCall = false; |
153 auto *Call = InstCall::create(Func, NumArgs, Void, ShadowMemInit, NoTailCall); | 186 auto *Call = InstCall::create(Func, NumArgs, Void, ShadowMemInit, NoTailCall); |
154 Func->getEntryNode()->getInsts().push_front(Call); | 187 Func->getEntryNode()->getInsts().push_front(Call); |
155 } | 188 } |
156 | 189 |
157 } // end of namespace Ice | 190 } // end of namespace Ice |
OLD | NEW |