blob: 23cf9e490828825b685d5828e3cc84ba27d092b3 [file] [log] [blame]
Alexey Samsonov4b8de112014-08-01 21:35:28 +00001//===--- 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 Samsonova0ac3c22014-10-17 22:37:33 +000015#include "clang/AST/Type.h"
Alexey Samsonov4b8de112014-08-01 21:35:28 +000016#include "llvm/ADT/StringRef.h"
17#include "llvm/IR/Constants.h"
18
19using namespace clang;
20using namespace CodeGen;
21
22SanitizerMetadata::SanitizerMetadata(CodeGenModule &CGM) : CGM(CGM) {}
23
24void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV,
25 SourceLocation Loc, StringRef Name,
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000026 QualType Ty, bool IsDynInit,
27 bool IsBlacklisted) {
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000028 if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000029 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000030 SanitizerKind::HWAddress |
31 SanitizerKind::KernelHWAddress))
Alexey Samsonov4b8de112014-08-01 21:35:28 +000032 return;
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000033 IsDynInit &= !CGM.isInSanitizerBlacklist(GV, Loc, Ty, "init");
34 IsBlacklisted |= CGM.isInSanitizerBlacklist(GV, Loc, Ty);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000035
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000036 llvm::Metadata *LocDescr = nullptr;
37 llvm::Metadata *GlobalName = nullptr;
Alexey Samsonov4b8de112014-08-01 21:35:28 +000038 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 Samsonovd9ad5ce2014-08-02 00:35:50 +000042 LocDescr = getLocationMetadata(Loc);
43 if (!Name.empty())
44 GlobalName = llvm::MDString::get(VMContext, Name);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000045 }
46
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000047 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 Samsonov4b8de112014-08-01 21:35:28 +000053
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
60void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV,
61 const VarDecl &D, bool IsDynInit) {
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000062 if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000063 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000064 SanitizerKind::HWAddress |
65 SanitizerKind::KernelHWAddress))
Alexey Samsonov4b8de112014-08-01 21:35:28 +000066 return;
67 std::string QualName;
68 llvm::raw_string_ostream OS(QualName);
69 D.printQualifiedName(OS);
Douglas Katzman3ed0f642016-10-14 19:55:09 +000070
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 Samsonov4b8de112014-08-01 21:35:28 +000077}
78
79void SanitizerMetadata::disableSanitizerForGlobal(llvm::GlobalVariable *GV) {
80 // For now, just make sure the global is not modified by the ASan
81 // instrumentation.
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000082 if (CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000083 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000084 SanitizerKind::HWAddress |
85 SanitizerKind::KernelHWAddress))
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000086 reportGlobalToASan(GV, SourceLocation(), "", QualType(), false, true);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000087}
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000088
Kostya Serebryany4ee69042014-08-26 02:29:59 +000089void SanitizerMetadata::disableSanitizerForInstruction(llvm::Instruction *I) {
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000090 I->setMetadata(CGM.getModule().getMDKindID("nosanitize"),
91 llvm::MDNode::get(CGM.getLLVMContext(), None));
Kostya Serebryany4ee69042014-08-26 02:29:59 +000092}
93
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000094llvm::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 Smithfb494912014-12-09 18:39:32 +000099 llvm::Metadata *LocMetadata[] = {
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +0000100 llvm::MDString::get(VMContext, PLoc.getFilename()),
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +0000101 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 Samsonovd9ad5ce2014-08-02 00:35:50 +0000105 };
106 return llvm::MDNode::get(VMContext, LocMetadata);
107}