1//===--- NoSanitizeList.cpp - Ignored list for sanitizers ----------------===//
2//
3// 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
6//
7//===----------------------------------------------------------------------===//
8//
9// User-provided ignore-list used to disable/alter instrumentation done in
10// sanitizers.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Basic/NoSanitizeList.h"
15#include "clang/Basic/FileManager.h"
16#include "clang/Basic/SanitizerSpecialCaseList.h"
17#include "clang/Basic/Sanitizers.h"
18#include "clang/Basic/SourceManager.h"
19
20using namespace clang;
21
22NoSanitizeList::NoSanitizeList(const std::vector<std::string> &NoSanitizePaths,
23 SourceManager &SM)
24 : SSCL(SanitizerSpecialCaseList::createOrDie(
25 Paths: NoSanitizePaths, VFS&: SM.getFileManager().getVirtualFileSystem())),
26 SM(SM) {}
27
28NoSanitizeList::~NoSanitizeList() = default;
29
30bool NoSanitizeList::containsPrefix(SanitizerMask Mask, StringRef Prefix,
31 StringRef Name, StringRef Category) const {
32 std::pair<unsigned, unsigned> NoSan =
33 SSCL->inSectionBlame(Mask, Prefix, Query: Name, Category);
34 if (NoSan == llvm::SpecialCaseList::NotFound)
35 return false;
36 std::pair<unsigned, unsigned> San =
37 SSCL->inSectionBlame(Mask, Prefix, Query: Name, Category: "sanitize");
38 // The statement evaluates to true under the following conditions:
39 // 1. The string "prefix:*=sanitize" is absent.
40 // 2. If "prefix:*=sanitize" is present, its (File Index, Line Number) is less
41 // than that of "prefix:*".
42 return San == llvm::SpecialCaseList::NotFound || NoSan > San;
43}
44
45bool NoSanitizeList::containsGlobal(SanitizerMask Mask, StringRef GlobalName,
46 StringRef Category) const {
47 return containsPrefix(Mask, Prefix: "global", Name: GlobalName, Category);
48}
49
50bool NoSanitizeList::containsType(SanitizerMask Mask, StringRef MangledTypeName,
51 StringRef Category) const {
52 return containsPrefix(Mask, Prefix: "type", Name: MangledTypeName, Category);
53}
54
55bool NoSanitizeList::containsFunction(SanitizerMask Mask,
56 StringRef FunctionName) const {
57 return containsPrefix(Mask, Prefix: "fun", Name: FunctionName, Category: {});
58}
59
60bool NoSanitizeList::containsFile(SanitizerMask Mask, StringRef FileName,
61 StringRef Category) const {
62 return containsPrefix(Mask, Prefix: "src", Name: FileName, Category);
63}
64
65bool NoSanitizeList::containsMainFile(SanitizerMask Mask, StringRef FileName,
66 StringRef Category) const {
67 return containsPrefix(Mask, Prefix: "mainfile", Name: FileName, Category);
68}
69
70bool NoSanitizeList::containsLocation(SanitizerMask Mask, SourceLocation Loc,
71 StringRef Category) const {
72 return Loc.isValid() &&
73 containsFile(Mask, FileName: SM.getFilename(SpellingLoc: SM.getFileLoc(Loc)), Category);
74}
75