LLVM  15.0.0git
DataFlowSanitizer.h
Go to the documentation of this file.
1 //===- DataFlowSanitizer.h - dynamic data flow analysis -------------------===//
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 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_DATAFLOWSANITIZER_H
9 #define LLVM_TRANSFORMS_INSTRUMENTATION_DATAFLOWSANITIZER_H
10 
11 #include "llvm/IR/PassManager.h"
12 #include <string>
13 #include <vector>
14 
15 namespace llvm {
16 class Module;
17 
18 class DataFlowSanitizerPass : public PassInfoMixin<DataFlowSanitizerPass> {
19 private:
20  std::vector<std::string> ABIListFiles;
21 
22 public:
24  const std::vector<std::string> &ABIListFiles = std::vector<std::string>())
25  : ABIListFiles(ABIListFiles) {}
27  static bool isRequired() { return true; }
28 };
29 
30 } // namespace llvm
31 
32 #endif
llvm::PreservedAnalyses
A set of analyses that are preserved following a run of a transformation pass.
Definition: PassManager.h:152
llvm::DataFlowSanitizerPass::run
PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM)
Definition: DataFlowSanitizer.cpp:3130
llvm
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:17
llvm::PassInfoMixin
A CRTP mix-in to automatically provide informational APIs needed for passes.
Definition: PassManager.h:371
llvm::DataFlowSanitizerPass::isRequired
static bool isRequired()
Definition: DataFlowSanitizer.h:27
llvm::DataFlowSanitizerPass::DataFlowSanitizerPass
DataFlowSanitizerPass(const std::vector< std::string > &ABIListFiles=std::vector< std::string >())
Definition: DataFlowSanitizer.h:23
llvm::Module
A Module instance is used to store all the information related to an LLVM module.
Definition: Module.h:65
llvm::DataFlowSanitizerPass
Definition: DataFlowSanitizer.h:18
Module
Machine Check Debug Module
Definition: MachineCheckDebugify.cpp:122
PassManager.h
llvm::AnalysisManager
A container for analyses that lazily runs them and caches their results.
Definition: InstructionSimplify.h:42