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/Module.h"
12#include "llvm/IR/PassManager.h"
13#include <string>
14#include <vector>
15
16namespace llvm {
17
18class DataFlowSanitizerPass : public PassInfoMixin<DataFlowSanitizerPass> {
19private:
20 std::vector<std::string> ABIListFiles;
21
22public:
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
33