blob: 3211a3e74d255a3aa43d180d4b0bea9bcff2889d [file] [log] [blame]
Alexey Samsonov4b8de112014-08-01 21:35:28 +00001//===--- SanitizerMetadata.cpp - Blacklist for sanitizers -----------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Alexey Samsonov4b8de112014-08-01 21:35:28 +00006//
7//===----------------------------------------------------------------------===//
8//
9// Class which emits metadata consumed by sanitizer instrumentation passes.
10//
11//===----------------------------------------------------------------------===//
12#include "SanitizerMetadata.h"
13#include "CodeGenModule.h"
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000014#include "clang/AST/Type.h"
Alexey Samsonov4b8de112014-08-01 21:35:28 +000015#include "llvm/ADT/StringRef.h"
16#include "llvm/IR/Constants.h"
17
18using namespace clang;
19using namespace CodeGen;
20
21SanitizerMetadata::SanitizerMetadata(CodeGenModule &CGM) : CGM(CGM) {}
22
23void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV,
24 SourceLocation Loc, StringRef Name,
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000025 QualType Ty, bool IsDynInit,
26 bool IsBlacklisted) {
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000027 if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000028 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000029 SanitizerKind::HWAddress |
30 SanitizerKind::KernelHWAddress))
Alexey Samsonov4b8de112014-08-01 21:35:28 +000031 return;
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000032 IsDynInit &= !CGM.isInSanitizerBlacklist(GV, Loc, Ty, "init");
33 IsBlacklisted |= CGM.isInSanitizerBlacklist(GV, Loc, Ty);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000034
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000035 llvm::Metadata *LocDescr = nullptr;
36 llvm::Metadata *GlobalName = nullptr;
Alexey Samsonov4b8de112014-08-01 21:35:28 +000037 llvm::LLVMContext &VMContext = CGM.getLLVMContext();
38 if (!IsBlacklisted) {
39 // Don't generate source location and global name if it is blacklisted -
40 // it won't be instrumented anyway.
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000041 LocDescr = getLocationMetadata(Loc);
42 if (!Name.empty())
43 GlobalName = llvm::MDString::get(VMContext, Name);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000044 }
45
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000046 llvm::Metadata *GlobalMetadata[] = {
47 llvm::ConstantAsMetadata::get(GV), LocDescr, GlobalName,
48 llvm::ConstantAsMetadata::get(
49 llvm::ConstantInt::get(llvm::Type::getInt1Ty(VMContext), IsDynInit)),
50 llvm::ConstantAsMetadata::get(llvm::ConstantInt::get(
51 llvm::Type::getInt1Ty(VMContext), IsBlacklisted))};
Alexey Samsonov4b8de112014-08-01 21:35:28 +000052
53 llvm::MDNode *ThisGlobal = llvm::MDNode::get(VMContext, GlobalMetadata);
54 llvm::NamedMDNode *AsanGlobals =
55 CGM.getModule().getOrInsertNamedMetadata("llvm.asan.globals");
56 AsanGlobals->addOperand(ThisGlobal);
57}
58
59void SanitizerMetadata::reportGlobalToASan(llvm::GlobalVariable *GV,
60 const VarDecl &D, bool IsDynInit) {
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000061 if (!CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000062 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000063 SanitizerKind::HWAddress |
64 SanitizerKind::KernelHWAddress))
Alexey Samsonov4b8de112014-08-01 21:35:28 +000065 return;
66 std::string QualName;
67 llvm::raw_string_ostream OS(QualName);
68 D.printQualifiedName(OS);
Douglas Katzman3ed0f642016-10-14 19:55:09 +000069
70 bool IsBlacklisted = false;
71 for (auto Attr : D.specific_attrs<NoSanitizeAttr>())
72 if (Attr->getMask() & SanitizerKind::Address)
73 IsBlacklisted = true;
74 reportGlobalToASan(GV, D.getLocation(), OS.str(), D.getType(), IsDynInit,
75 IsBlacklisted);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000076}
77
78void SanitizerMetadata::disableSanitizerForGlobal(llvm::GlobalVariable *GV) {
79 // For now, just make sure the global is not modified by the ASan
80 // instrumentation.
Alexander Potapenkob9b73ef2015-06-19 12:19:07 +000081 if (CGM.getLangOpts().Sanitize.hasOneOf(SanitizerKind::Address |
Evgeniy Stepanov12817e52017-12-09 01:32:07 +000082 SanitizerKind::KernelAddress |
Andrey Konovalov1ba9d9c2018-04-13 18:05:21 +000083 SanitizerKind::HWAddress |
84 SanitizerKind::KernelHWAddress))
Alexey Samsonova0ac3c22014-10-17 22:37:33 +000085 reportGlobalToASan(GV, SourceLocation(), "", QualType(), false, true);
Alexey Samsonov4b8de112014-08-01 21:35:28 +000086}
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000087
Kostya Serebryany4ee69042014-08-26 02:29:59 +000088void SanitizerMetadata::disableSanitizerForInstruction(llvm::Instruction *I) {
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000089 I->setMetadata(CGM.getModule().getMDKindID("nosanitize"),
90 llvm::MDNode::get(CGM.getLLVMContext(), None));
Kostya Serebryany4ee69042014-08-26 02:29:59 +000091}
92
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000093llvm::MDNode *SanitizerMetadata::getLocationMetadata(SourceLocation Loc) {
94 PresumedLoc PLoc = CGM.getContext().getSourceManager().getPresumedLoc(Loc);
95 if (!PLoc.isValid())
96 return nullptr;
97 llvm::LLVMContext &VMContext = CGM.getLLVMContext();
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +000098 llvm::Metadata *LocMetadata[] = {
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +000099 llvm::MDString::get(VMContext, PLoc.getFilename()),
Duncan P. N. Exon Smithfb494912014-12-09 18:39:32 +0000100 llvm::ConstantAsMetadata::get(llvm::ConstantInt::get(
101 llvm::Type::getInt32Ty(VMContext), PLoc.getLine())),
102 llvm::ConstantAsMetadata::get(llvm::ConstantInt::get(
103 llvm::Type::getInt32Ty(VMContext), PLoc.getColumn())),
Alexey Samsonovd9ad5ce2014-08-02 00:35:50 +0000104 };
105 return llvm::MDNode::get(VMContext, LocMetadata);
106}