Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 1 | //===--- SanitizerMetadata.cpp - Blacklist for sanitizers -----------------===// |
| 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 | // |
| 10 | // Class which emits metadata consumed by sanitizer instrumentation passes. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | #include "SanitizerMetadata.h" |
| 14 | #include "CodeGenModule.h" |
Alexey Samsonov | a0ac3c2 | 2014-10-17 22:37:33 +0000 | [diff] [blame] | 15 | #include "clang/AST/Type.h" |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 16 | #include "llvm/ADT/StringRef.h" |
| 17 | #include "llvm/IR/Constants.h" |
| 18 | |
| 19 | using namespace clang; |
| 20 | using namespace CodeGen; |
| 21 | |
| 22 | SanitizerMetadata::SanitizerMetadata(CodeGenModule &CGM) : CGM(CGM) {} |
| 23 | |
| 24 | void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV, |
| 25 | SourceLocation Loc, StringRef Name, |
Alexey Samsonov | a0ac3c2 | 2014-10-17 22:37:33 +0000 | [diff] [blame] | 26 | QualType Ty, bool IsDynInit, |
| 27 | bool IsBlacklisted) { |
Alexander Potapenko | b9b73ef | 2015-06-19 12:19:07 +0000 | [diff] [blame] | 28 | if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address | |
Evgeniy Stepanov | 12817e5 | 2017-12-09 01:32:07 +0000 | [diff] [blame] | 29 | SanitizerKind::KernelAddress | |
Andrey Konovalov | 1ba9d9c | 2018-04-13 18:05:21 +0000 | [diff] [blame] | 30 | SanitizerKind::HWAddress | |
| 31 | SanitizerKind::KernelHWAddress)) |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 32 | return; |
Alexey Samsonov | a0ac3c2 | 2014-10-17 22:37:33 +0000 | [diff] [blame] | 33 | IsDynInit &= !CGM.isInSanitizerBlacklist(GV, Loc, Ty, "init"); |
| 34 | IsBlacklisted |= CGM.isInSanitizerBlacklist(GV, Loc, Ty); |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 35 | |
Duncan P. N. Exon Smith | fb49491 | 2014-12-09 18:39:32 +0000 | [diff] [blame] | 36 | llvm::Metadata *LocDescr = nullptr; |
| 37 | llvm::Metadata *GlobalName = nullptr; |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 38 | llvm::LLVMContext &VMContext = CGM.getLLVMContext(); |
| 39 | if (!IsBlacklisted) { |
| 40 | // Don't generate source location and global name if it is blacklisted - |
| 41 | // it won't be instrumented anyway. |
Alexey Samsonov | d9ad5ce | 2014-08-02 00:35:50 +0000 | [diff] [blame] | 42 | LocDescr = getLocationMetadata(Loc); |
| 43 | if (!Name.empty()) |
| 44 | GlobalName = llvm::MDString::get(VMContext, Name); |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 45 | } |
| 46 | |
Duncan P. N. Exon Smith | fb49491 | 2014-12-09 18:39:32 +0000 | [diff] [blame] | 47 | llvm::Metadata *GlobalMetadata[] = { |
| 48 | llvm::ConstantAsMetadata::get(GV), LocDescr, GlobalName, |
| 49 | llvm::ConstantAsMetadata::get( |
| 50 | llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), IsDynInit)), |
| 51 | llvm::ConstantAsMetadata::get(llvm::ConstantInt::get( |
| 52 | llvm::Type::getInt1Ty(VMContext), IsBlacklisted))}; |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 53 | |
| 54 | llvm::MDNode *ThisGlobal = llvm::MDNode::get(VMContext, GlobalMetadata); |
| 55 | llvm::NamedMDNode *AsanGlobals = |
| 56 | CGM.getModule().getOrInsertNamedMetadata("llvm.asan.globals"); |
| 57 | AsanGlobals->addOperand(ThisGlobal); |
| 58 | } |
| 59 | |
| 60 | void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV, |
| 61 | const VarDecl &D, bool IsDynInit) { |
Alexander Potapenko | b9b73ef | 2015-06-19 12:19:07 +0000 | [diff] [blame] | 62 | if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address | |
Evgeniy Stepanov | 12817e5 | 2017-12-09 01:32:07 +0000 | [diff] [blame] | 63 | SanitizerKind::KernelAddress | |
Andrey Konovalov | 1ba9d9c | 2018-04-13 18:05:21 +0000 | [diff] [blame] | 64 | SanitizerKind::HWAddress | |
| 65 | SanitizerKind::KernelHWAddress)) |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 66 | return; |
| 67 | std::string QualName; |
| 68 | llvm::raw_string_ostream OS(QualName); |
| 69 | D.printQualifiedName(OS); |
Douglas Katzman | 3ed0f64 | 2016-10-14 19:55:09 +0000 | [diff] [blame] | 70 | |
| 71 | bool IsBlacklisted = false; |
| 72 | for (auto Attr : D.specific_attrs<NoSanitizeAttr>()) |
| 73 | if (Attr->getMask() & SanitizerKind::Address) |
| 74 | IsBlacklisted = true; |
| 75 | reportGlobalToASan(GV, D.getLocation(), OS.str(), D.getType(), IsDynInit, |
| 76 | IsBlacklisted); |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 77 | } |
| 78 | |
| 79 | void SanitizerMetadata::disableSanitizerForGlobal(llvm::GlobalVariable *GV) { |
| 80 | // For now, just make sure the global is not modified by the ASan |
| 81 | // instrumentation. |
Alexander Potapenko | b9b73ef | 2015-06-19 12:19:07 +0000 | [diff] [blame] | 82 | if (CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address | |
Evgeniy Stepanov | 12817e5 | 2017-12-09 01:32:07 +0000 | [diff] [blame] | 83 | SanitizerKind::KernelAddress | |
Andrey Konovalov | 1ba9d9c | 2018-04-13 18:05:21 +0000 | [diff] [blame] | 84 | SanitizerKind::HWAddress | |
| 85 | SanitizerKind::KernelHWAddress)) |
Alexey Samsonov | a0ac3c2 | 2014-10-17 22:37:33 +0000 | [diff] [blame] | 86 | reportGlobalToASan(GV, SourceLocation(), "", QualType(), false, true); |
Alexey Samsonov | 4b8de11 | 2014-08-01 21:35:28 +0000 | [diff] [blame] | 87 | } |
Alexey Samsonov | d9ad5ce | 2014-08-02 00:35:50 +0000 | [diff] [blame] | 88 | |
Kostya Serebryany | 4ee6904 | 2014-08-26 02:29:59 +0000 | [diff] [blame] | 89 | void SanitizerMetadata::disableSanitizerForInstruction(llvm::Instruction *I) { |
Duncan P. N. Exon Smith | fb49491 | 2014-12-09 18:39:32 +0000 | [diff] [blame] | 90 | I->setMetadata(CGM.getModule().getMDKindID("nosanitize"), |
| 91 | llvm::MDNode::get(CGM.getLLVMContext(), None)); |
Kostya Serebryany | 4ee6904 | 2014-08-26 02:29:59 +0000 | [diff] [blame] | 92 | } |
| 93 | |
Alexey Samsonov | d9ad5ce | 2014-08-02 00:35:50 +0000 | [diff] [blame] | 94 | llvm::MDNode *SanitizerMetadata::getLocationMetadata(SourceLocation Loc) { |
| 95 | PresumedLoc PLoc = CGM.getContext().getSourceManager().getPresumedLoc(Loc); |
| 96 | if (!PLoc.isValid()) |
| 97 | return nullptr; |
| 98 | llvm::LLVMContext &VMContext = CGM.getLLVMContext(); |
Duncan P. N. Exon Smith | fb49491 | 2014-12-09 18:39:32 +0000 | [diff] [blame] | 99 | llvm::Metadata *LocMetadata[] = { |
Alexey Samsonov | d9ad5ce | 2014-08-02 00:35:50 +0000 | [diff] [blame] | 100 | llvm::MDString::get(VMContext, PLoc.getFilename()), |
Duncan P. N. Exon Smith | fb49491 | 2014-12-09 18:39:32 +0000 | [diff] [blame] | 101 | llvm::ConstantAsMetadata::get(llvm::ConstantInt::get( |
| 102 | llvm::Type::getInt32Ty(VMContext), PLoc.getLine())), |
| 103 | llvm::ConstantAsMetadata::get(llvm::ConstantInt::get( |
| 104 | llvm::Type::getInt32Ty(VMContext), PLoc.getColumn())), |
Alexey Samsonov | d9ad5ce | 2014-08-02 00:35:50 +0000 | [diff] [blame] | 105 | }; |
| 106 | return llvm::MDNode::get(VMContext, LocMetadata); |
| 107 | } |