1fe6060f1SDimitry Andric //===--- NoSanitizeList.cpp - Ignored list for sanitizers ----------------===//
2fe6060f1SDimitry Andric //
3fe6060f1SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4fe6060f1SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5fe6060f1SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6fe6060f1SDimitry Andric //
7fe6060f1SDimitry Andric //===----------------------------------------------------------------------===//
8fe6060f1SDimitry Andric //
9fe6060f1SDimitry Andric // User-provided ignore-list used to disable/alter instrumentation done in
10fe6060f1SDimitry Andric // sanitizers.
11fe6060f1SDimitry Andric //
12fe6060f1SDimitry Andric //===----------------------------------------------------------------------===//
13fe6060f1SDimitry Andric
14fe6060f1SDimitry Andric #include "clang/Basic/NoSanitizeList.h"
15fe6060f1SDimitry Andric #include "clang/Basic/FileManager.h"
16fe6060f1SDimitry Andric #include "clang/Basic/SanitizerSpecialCaseList.h"
17fe6060f1SDimitry Andric #include "clang/Basic/Sanitizers.h"
18fe6060f1SDimitry Andric #include "clang/Basic/SourceManager.h"
19fe6060f1SDimitry Andric
20fe6060f1SDimitry Andric using namespace clang;
21fe6060f1SDimitry Andric
NoSanitizeList(const std::vector<std::string> & NoSanitizePaths,SourceManager & SM)22fe6060f1SDimitry Andric NoSanitizeList::NoSanitizeList(const std::vector<std::string> &NoSanitizePaths,
23fe6060f1SDimitry Andric SourceManager &SM)
24fe6060f1SDimitry Andric : SSCL(SanitizerSpecialCaseList::createOrDie(
25fe6060f1SDimitry Andric NoSanitizePaths, SM.getFileManager().getVirtualFileSystem())),
26fe6060f1SDimitry Andric SM(SM) {}
27fe6060f1SDimitry Andric
28fe6060f1SDimitry Andric NoSanitizeList::~NoSanitizeList() = default;
29fe6060f1SDimitry Andric
containsGlobal(SanitizerMask Mask,StringRef GlobalName,StringRef Category) const30fe6060f1SDimitry Andric bool NoSanitizeList::containsGlobal(SanitizerMask Mask, StringRef GlobalName,
31fe6060f1SDimitry Andric StringRef Category) const {
32fe6060f1SDimitry Andric return SSCL->inSection(Mask, "global", GlobalName, Category);
33fe6060f1SDimitry Andric }
34fe6060f1SDimitry Andric
containsType(SanitizerMask Mask,StringRef MangledTypeName,StringRef Category) const35fe6060f1SDimitry Andric bool NoSanitizeList::containsType(SanitizerMask Mask, StringRef MangledTypeName,
36fe6060f1SDimitry Andric StringRef Category) const {
37fe6060f1SDimitry Andric return SSCL->inSection(Mask, "type", MangledTypeName, Category);
38fe6060f1SDimitry Andric }
39fe6060f1SDimitry Andric
containsFunction(SanitizerMask Mask,StringRef FunctionName) const40fe6060f1SDimitry Andric bool NoSanitizeList::containsFunction(SanitizerMask Mask,
41fe6060f1SDimitry Andric StringRef FunctionName) const {
42fe6060f1SDimitry Andric return SSCL->inSection(Mask, "fun", FunctionName);
43fe6060f1SDimitry Andric }
44fe6060f1SDimitry Andric
containsFile(SanitizerMask Mask,StringRef FileName,StringRef Category) const45fe6060f1SDimitry Andric bool NoSanitizeList::containsFile(SanitizerMask Mask, StringRef FileName,
46fe6060f1SDimitry Andric StringRef Category) const {
47fe6060f1SDimitry Andric return SSCL->inSection(Mask, "src", FileName, Category);
48fe6060f1SDimitry Andric }
49fe6060f1SDimitry Andric
containsMainFile(SanitizerMask Mask,StringRef FileName,StringRef Category) const50*fcaf7f86SDimitry Andric bool NoSanitizeList::containsMainFile(SanitizerMask Mask, StringRef FileName,
51*fcaf7f86SDimitry Andric StringRef Category) const {
52*fcaf7f86SDimitry Andric return SSCL->inSection(Mask, "mainfile", FileName, Category);
53*fcaf7f86SDimitry Andric }
54*fcaf7f86SDimitry Andric
containsLocation(SanitizerMask Mask,SourceLocation Loc,StringRef Category) const55fe6060f1SDimitry Andric bool NoSanitizeList::containsLocation(SanitizerMask Mask, SourceLocation Loc,
56fe6060f1SDimitry Andric StringRef Category) const {
57fe6060f1SDimitry Andric return Loc.isValid() &&
58fe6060f1SDimitry Andric containsFile(Mask, SM.getFilename(SM.getFileLoc(Loc)), Category);
59fe6060f1SDimitry Andric }
60