LLVM
15.0.0git
include
llvm
Transforms
Instrumentation
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
:
23
DataFlowSanitizerPass
(
24
const
std::vector<std::string> &ABIListFiles = std::vector<std::string>())
25
: ABIListFiles(ABIListFiles) {}
26
PreservedAnalyses
run
(
Module
&M,
ModuleAnalysisManager
&AM);
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
Generated on Wed Jun 29 2022 16:57:29 for LLVM by
1.8.17