|
Static Value-Flow Analysis
|
#include <set>#include <vector>#include <map>#include <fstream>#include <iostream>#include <iomanip>#include <assert.h>#include <stack>#include "SVF-LLVM/CHGBuilder.h"#include "Util/Options.h"#include "SVF-LLVM/CppUtil.h"#include "SVFIR/ObjTypeInfo.h"#include "Util/SVFUtil.h"#include "SVF-LLVM/LLVMUtil.h"#include "Util/PTAStat.h"#include "SVF-LLVM/LLVMModule.h"#include "SVF-LLVM/ObjTypeInference.h"Go to the source code of this file.
Variables | |
| const string | pureVirtualFunName = "__cxa_pure_virtual" |
| const string | ztiLabel = "_ZTI" |
Definition at line 55 of file CHGBuilder.cpp.
Definition at line 57 of file CHGBuilder.cpp.