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/SymbolTableInfo.h"
#include "Util/SVFUtil.h"
#include "SVF-LLVM/LLVMUtil.h"
#include "SVFIR/SVFModule.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 56 of file CHGBuilder.cpp.
Definition at line 58 of file CHGBuilder.cpp.