Transforms/Instrumentation/DataFlowSanitizer.h

0001 //===- DataFlowSanitizer.h - dynamic data flow analysis ---------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008 #ifndef LLVM_TRANSFORMS_INSTRUMENTATION_DATAFLOWSANITIZER_H
0009 #define LLVM_TRANSFORMS_INSTRUMENTATION_DATAFLOWSANITIZER_H
0010
0011 #include "llvm/IR/PassManager.h"
0012 #include <string>
0013 #include <vector>
0014
0015 namespace llvm {
0016 class Module;
0017
0018 class DataFlowSanitizerPass : public PassInfoMixin<DataFlowSanitizerPass> {
0019 private:
0020   std::vector<std::string> ABIListFiles;
0021
0022 public:
0023   DataFlowSanitizerPass(
0024       const std::vector<std::string> &ABIListFiles = std::vector<std::string>())
0025       : ABIListFiles(ABIListFiles) {}
0026   PreservedAnalyses run(Module &M, ModuleAnalysisManager &AM);
0027   static bool isRequired() { return true; }
0028 };
0029
0030 } // namespace llvm
0031
0032 #endif