Static Value-Flow Analysis
Variables
CHGBuilder.cpp File Reference
#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"
 

Variable Documentation

◆ pureVirtualFunName

const string pureVirtualFunName = "__cxa_pure_virtual"

Definition at line 56 of file CHGBuilder.cpp.

◆ ztiLabel

const string ztiLabel = "_ZTI"

Definition at line 58 of file CHGBuilder.cpp.