0d5a62faca
When an issue exists in the main file (caller) instead of an included file
(callee), using a `src` pattern applying to the included file may be
inappropriate if it's the caller's responsibility. Add `mainfile` prefix to check
the main filename.
For the example below, the issue may reside in a.c (foo should not be called
with a misaligned pointer or foo should switch to an unaligned load), but with
`src` we can only apply to the innocent callee a.h. With this patch we can use
the more appropriate `mainfile:a.c`.
```
//--- a.h
// internal linkage
static inline int load(int *x) { return *x; }
//--- a.c, -fsanitize=alignment
#include "a.h"
int foo(void *x) { return load(x); }
```
See the updated clang/docs/SanitizerSpecialCaseList.rst for a caveat due
to C++ vague linkage functions.
Reviewed By: #sanitizers, kstoimenov, vitalybuka
Differential Revision: https://reviews.llvm.org/D129832
60 lines
2.3 KiB
C++
60 lines
2.3 KiB
C++
//===--- NoSanitizeList.cpp - Ignored list for sanitizers ----------------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// User-provided ignore-list used to disable/alter instrumentation done in
|
|
// sanitizers.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "clang/Basic/NoSanitizeList.h"
|
|
#include "clang/Basic/FileManager.h"
|
|
#include "clang/Basic/SanitizerSpecialCaseList.h"
|
|
#include "clang/Basic/Sanitizers.h"
|
|
#include "clang/Basic/SourceManager.h"
|
|
|
|
using namespace clang;
|
|
|
|
NoSanitizeList::NoSanitizeList(const std::vector<std::string> &NoSanitizePaths,
|
|
SourceManager &SM)
|
|
: SSCL(SanitizerSpecialCaseList::createOrDie(
|
|
NoSanitizePaths, SM.getFileManager().getVirtualFileSystem())),
|
|
SM(SM) {}
|
|
|
|
NoSanitizeList::~NoSanitizeList() = default;
|
|
|
|
bool NoSanitizeList::containsGlobal(SanitizerMask Mask, StringRef GlobalName,
|
|
StringRef Category) const {
|
|
return SSCL->inSection(Mask, "global", GlobalName, Category);
|
|
}
|
|
|
|
bool NoSanitizeList::containsType(SanitizerMask Mask, StringRef MangledTypeName,
|
|
StringRef Category) const {
|
|
return SSCL->inSection(Mask, "type", MangledTypeName, Category);
|
|
}
|
|
|
|
bool NoSanitizeList::containsFunction(SanitizerMask Mask,
|
|
StringRef FunctionName) const {
|
|
return SSCL->inSection(Mask, "fun", FunctionName);
|
|
}
|
|
|
|
bool NoSanitizeList::containsFile(SanitizerMask Mask, StringRef FileName,
|
|
StringRef Category) const {
|
|
return SSCL->inSection(Mask, "src", FileName, Category);
|
|
}
|
|
|
|
bool NoSanitizeList::containsMainFile(SanitizerMask Mask, StringRef FileName,
|
|
StringRef Category) const {
|
|
return SSCL->inSection(Mask, "mainfile", FileName, Category);
|
|
}
|
|
|
|
bool NoSanitizeList::containsLocation(SanitizerMask Mask, SourceLocation Loc,
|
|
StringRef Category) const {
|
|
return Loc.isValid() &&
|
|
containsFile(Mask, SM.getFilename(SM.getFileLoc(Loc)), Category);
|
|
}
|