Static Value-Flow Analysis
SVF::SymbolTableBuilder Member List

This is the complete list of members for SVF::SymbolTableBuilder, including all inherited members.

analyzeHeapAllocByteSize(const Value *val)SVF::SymbolTableBuilderprotected
analyzeHeapObjType(ObjTypeInfo *typeinfo, const Value *val)SVF::SymbolTableBuilderprotected
analyzeObjType(ObjTypeInfo *typeinfo, const Value *val)SVF::SymbolTableBuilderprotected
analyzeStaticObjType(ObjTypeInfo *typeinfo, const Value *val)SVF::SymbolTableBuilderprotected
buildMemModel(SVFModule *svfModule)SVF::SymbolTableBuilder
collectObj(const Value *val)SVF::SymbolTableBuilderprotected
collectRet(const Function *val)SVF::SymbolTableBuilderprotected
collectSVFTypeInfo(const Value *val)SVF::SymbolTableBuilderprotected
collectSym(const Value *val)SVF::SymbolTableBuilderprotected
collectVal(const Value *val)SVF::SymbolTableBuilderprotected
collectVararg(const Function *val)SVF::SymbolTableBuilderprotected
createBlkObj(SymID symId)SVF::SymbolTableBuilderprotected
createConstantObj(SymID symId)SVF::SymbolTableBuilderprotected
createObjTypeInfo(const Value *val)SVF::SymbolTableBuilderprotected
getNumOfElements(const Type *ety)SVF::SymbolTableBuilder
getNumOfFlattenElements(const Type *T)SVF::SymbolTableBuilderprotected
getOrAddSVFTypeInfo(const Type *T)SVF::SymbolTableBuilderprotected
getTypeInference()SVF::SymbolTableBuilderprotected
handleCE(const Value *val)SVF::SymbolTableBuilderprotected
handleGlobalCE(const GlobalVariable *G)SVF::SymbolTableBuilderprotected
handleGlobalInitializerCE(const Constant *C)SVF::SymbolTableBuilderprotected
inferObjType(const Value *startValue)SVF::SymbolTableBuilderprotected
inferTypeOfHeapObjOrStaticObj(const Instruction *inst)SVF::SymbolTableBuilderprotected
initTypeInfo(ObjTypeInfo *typeinfo, const Value *value, const Type *ty)SVF::SymbolTableBuilderprotected
SVFIRBuilder classSVF::SymbolTableBuilderfriend
SymbolTableBuilder(SymbolTableInfo *si)SVF::SymbolTableBuilderinline
symInfoSVF::SymbolTableBuilderprivate