Static Value-Flow Analysis
|
#include <queue>
#include <algorithm>
#include "SVFIR/SVFModule.h"
#include "Util/SVFUtil.h"
#include "SVF-LLVM/BasicTypes.h"
#include "SVF-LLVM/LLVMUtil.h"
#include "SVF-LLVM/CppUtil.h"
#include "SVF-LLVM/BreakConstantExpr.h"
#include "SVF-LLVM/SymbolTableBuilder.h"
#include "MSSA/SVFGBuilder.h"
#include "llvm/Support/FileSystem.h"
#include "SVF-LLVM/ObjTypeInference.h"
#include "llvm/Transforms/Utils/Cloning.h"
#include "SVF-LLVM/ICFGBuilder.h"
#include "Graphs/CallGraph.h"
#include "Util/CallGraphBuilder.h"
Go to the source code of this file.
Macros | |
#define | SVF_MAIN_FUNC_NAME "svf.main" |
#define | SVF_GLOBAL_CTORS "llvm.global_ctors" |
#define | SVF_GLOBAL_DTORS "llvm.global_dtors" |
#define SVF_GLOBAL_CTORS "llvm.global_ctors" |
Definition at line 74 of file LLVMModule.cpp.
#define SVF_GLOBAL_DTORS "llvm.global_dtors" |
Definition at line 75 of file LLVMModule.cpp.
#define SVF_MAIN_FUNC_NAME "svf.main" |
Definition at line 73 of file LLVMModule.cpp.