addClone(NodeID o, NodeID c) | SVF::TypeBasedHeapCloning | protected |
addCloneDummyObjNode(const MemObj *mem) | SVF::TypeBasedHeapCloning | inlineprotected |
addCloneFIObjNode(const MemObj *mem) | SVF::TypeBasedHeapCloning | inlineprotected |
addCloneGepObjNode(const MemObj *mem, const LocationSet &l) | SVF::TypeBasedHeapCloning | inlineprotected |
addGepToObj(NodeID gep, NodeID base, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
backPropagate(NodeID clone)=0 | SVF::TypeBasedHeapCloning | protectedpure virtual |
cloneObject(NodeID o, const DIType *type, bool reuse) | SVF::TypeBasedHeapCloning | protected |
cloneToOriginalObj | SVF::TypeBasedHeapCloning | private |
dchg | SVF::TypeBasedHeapCloning | protected |
derefFnName | SVF::TypeBasedHeapCloning | protectedstatic |
dumpStats(void) | SVF::TypeBasedHeapCloning | protected |
getAllocationSite(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
getClones(NodeID o) | SVF::TypeBasedHeapCloning | protected |
getFilterSet(NodeID loc) | SVF::TypeBasedHeapCloning | protected |
getGepObjClones(NodeID base, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
getGepObjs(NodeID base) | SVF::TypeBasedHeapCloning | protected |
getGepObjsFromMemObj(const MemObj *memObj, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
getObjsWithClones(void) | SVF::TypeBasedHeapCloning | protected |
getOriginalObj(NodeID c) const | SVF::TypeBasedHeapCloning | protected |
getRawCTirMetadata(const Value *) | SVF::TypeBasedHeapCloning | static |
getType(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
getTypeFromCTirMetadata(const Value *) | SVF::TypeBasedHeapCloning | protected |
init(NodeID loc, NodeID p, const DIType *tildet, bool reuse, bool gep=false) | SVF::TypeBasedHeapCloning | protected |
isBase(const DIType *a, const DIType *b) const | SVF::TypeBasedHeapCloning | protected |
isBlkObjOrConstantObj(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
isClone(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
isGep(const PAGNode *n) const | SVF::TypeBasedHeapCloning | private |
locToFilterSet | SVF::TypeBasedHeapCloning | private |
mangledDerefFnName | SVF::TypeBasedHeapCloning | protectedstatic |
memObjToGeps | SVF::TypeBasedHeapCloning | private |
numAgg | SVF::TypeBasedHeapCloning | private |
numInit | SVF::TypeBasedHeapCloning | private |
numReuse | SVF::TypeBasedHeapCloning | private |
numSGAgg | SVF::TypeBasedHeapCloning | private |
numSGInit | SVF::TypeBasedHeapCloning | private |
numSGReuse | SVF::TypeBasedHeapCloning | private |
numSGTBSSU | SVF::TypeBasedHeapCloning | private |
numSGTBSU | SVF::TypeBasedHeapCloning | private |
numSGTBWU | SVF::TypeBasedHeapCloning | private |
numTBSSU | SVF::TypeBasedHeapCloning | private |
numTBSU | SVF::TypeBasedHeapCloning | private |
numTBWU | SVF::TypeBasedHeapCloning | private |
objToAllocation | SVF::TypeBasedHeapCloning | private |
objToClones | SVF::TypeBasedHeapCloning | private |
objToGeps | SVF::TypeBasedHeapCloning | private |
objToType | SVF::TypeBasedHeapCloning | private |
ppag | SVF::TypeBasedHeapCloning | private |
pta | SVF::TypeBasedHeapCloning | private |
setAllocationSite(NodeID o, NodeID site) | SVF::TypeBasedHeapCloning | protected |
setDCHG(DCHGraph *dchg) | SVF::TypeBasedHeapCloning | protected |
setOriginalObj(NodeID c, NodeID o) | SVF::TypeBasedHeapCloning | protected |
setPAG(PAG *pag) | SVF::TypeBasedHeapCloning | protected |
setType(NodeID o, const DIType *t) | SVF::TypeBasedHeapCloning | protected |
TypeBasedHeapCloning(BVDataPTAImpl *pta) | SVF::TypeBasedHeapCloning | protected |
undefType | SVF::TypeBasedHeapCloning | protectedstatic |
validateTBHCTests(SVFModule *svfMod) | SVF::TypeBasedHeapCloning | protected |
~TypeBasedHeapCloning() | SVF::TypeBasedHeapCloning | inlinevirtual |