LLVM  16.0.0git
SanitizerCoverage.h
Go to the documentation of this file.
1 //===--------- Definition of the SanitizerCoverage class --------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
6 // See https://llvm.org/LICENSE.txt for license information.
7 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
8 //
9 //===----------------------------------------------------------------------===//
10 //
11 // SanitizerCoverage is a simple code coverage implementation.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_SANITIZERCOVERAGE_H
16 #define LLVM_TRANSFORMS_INSTRUMENTATION_SANITIZERCOVERAGE_H
17 
18 #include "llvm/IR/PassManager.h"
22 
23 namespace llvm {
24 class Module;
25 
26 /// This is the ModuleSanitizerCoverage pass used in the new pass manager. The
27 /// pass instruments functions for coverage, adds initialization calls to the
28 /// module for trace PC guards and 8bit counters if they are requested, and
29 /// appends globals to llvm.compiler.used.
30 class SanitizerCoveragePass : public PassInfoMixin<SanitizerCoveragePass> {
31 public:
34  const std::vector<std::string> &AllowlistFiles =
35  std::vector<std::string>(),
36  const std::vector<std::string> &BlocklistFiles =
37  std::vector<std::string>())
38  : Options(Options) {
39  if (AllowlistFiles.size() > 0)
40  Allowlist = SpecialCaseList::createOrDie(AllowlistFiles,
42  if (BlocklistFiles.size() > 0)
43  Blocklist = SpecialCaseList::createOrDie(BlocklistFiles,
45  }
47  static bool isRequired() { return true; }
48 
49 private:
51 
52  std::unique_ptr<SpecialCaseList> Allowlist;
53  std::unique_ptr<SpecialCaseList> Blocklist;
54 };
55 
56 } // namespace llvm
57 
58 #endif
llvm::PreservedAnalyses
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:152
llvm::SanitizerCoveragePass::run
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
Definition: SanitizerCoverage.cpp:294
Instrumentation.h
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
llvm::SanitizerCoverageOptions
Definition: Instrumentation.h:131
llvm::PassInfoMixin
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:371
llvm::SanitizerCoveragePass::isRequired
static bool isRequired()
Definition: SanitizerCoverage.h:47
llvm::SanitizerCoveragePass::SanitizerCoveragePass
SanitizerCoveragePass(SanitizerCoverageOptions Options=SanitizerCoverageOptions(), const std::vector< std::string > &AllowlistFiles=std::vector< std::string >(), const std::vector< std::string > &BlocklistFiles=std::vector< std::string >())
Definition: SanitizerCoverage.h:32
llvm::vfs::getRealFileSystem
IntrusiveRefCntPtr< FileSystem > getRealFileSystem()
Gets an vfs::FileSystem for the 'real' file system, as seen by the operating system.
Definition: VirtualFileSystem.cpp:376
llvm::SpecialCaseList::createOrDie
static std::unique_ptr< SpecialCaseList > createOrDie(const std::vector< std::string > &Paths, llvm::vfs::FileSystem &FS)
Parses the special case list entries from files.
Definition: SpecialCaseList.cpp:90
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
llvm::SanitizerCoveragePass
This is the ModuleSanitizerCoverage pass used in the new pass manager.
Definition: SanitizerCoverage.h:30
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
VirtualFileSystem.h
PassManager.h
SpecialCaseList.h
llvm::AnalysisManager
A container for analyses that lazily runs them and caches their results.
Definition: InstructionSimplify.h:42