|
Static Value-Flow Analysis
|
#include <queue>#include <algorithm>#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 75 of file LLVMModule.cpp.
| #define SVF_GLOBAL_DTORS "llvm.global_dtors" |
Definition at line 76 of file LLVMModule.cpp.
| #define SVF_MAIN_FUNC_NAME "svf.main" |
Definition at line 74 of file LLVMModule.cpp.