Static Value-Flow Analysis
SVF::SVFIR Member List

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

addAddrStmt(NodeID src, NodeID dst)SVF::SVFIRprivate
addBinaryOPStmt(NodeID op1, NodeID op2, NodeID dst, u32_t opcode)SVF::SVFIRprivate
addBlackHoleAddrStmt(NodeID node)SVF::SVFIRprivate
addBlackholeObjNode()SVF::SVFIRinlineprivate
addBlackholePtrNode()SVF::SVFIRinlineprivate
addBranchStmt(NodeID br, NodeID cond, const BranchStmt::SuccAndCondPairVec &succs)SVF::SVFIRprivate
addCallPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)SVF::SVFIRprivate
addCallSite(const CallICFGNode *call)SVF::SVFIRinlineprivate
addCallSiteArgs(CallICFGNode *callBlockNode, const SVFVar *arg)SVF::SVFIRinlineprivate
addCallSiteRets(RetICFGNode *retBlockNode, const SVFVar *arg)SVF::SVFIRinlineprivate
addCmpStmt(NodeID op1, NodeID op2, NodeID dst, u32_t predict)SVF::SVFIRprivate
addConstantObjNode()SVF::SVFIRinlineprivate
addCopyStmt(NodeID src, NodeID dst, CopyStmt::CopyKind type)SVF::SVFIRprivate
addDummyMemObj(NodeID i, const SVFType *type)SVF::SVFIRinlineprivate
addDummyObjNode(const SVFType *type)SVF::SVFIRinline
addDummyObjNode(NodeID i, const SVFType *type)SVF::SVFIRinlineprivate
addDummyValNode()SVF::SVFIRinline
addDummyValNode(NodeID i)SVF::SVFIRinlineprivate
addEdge(SVFVar *src, SVFVar *dst, SVFStmt *edge)SVF::IRGraphprotected
addFIObjNode(const MemObj *obj)SVF::SVFIRprivate
addFunArgs(const SVFFunction *fun, const SVFVar *arg)SVF::SVFIRinlineprivate
addFunRet(const SVFFunction *fun, const SVFVar *ret)SVF::SVFIRinlineprivate
addGepObjNode(const MemObj *obj, const APOffset &apOffset, const NodeID gepId)SVF::SVFIRprivate
addGepStmt(NodeID src, NodeID dst, const AccessPath &ap, bool constGep)SVF::SVFIRprivate
addGepValNode(const SVFValue *curInst, const SVFValue *val, const AccessPath &ap, NodeID i, const SVFType *type)SVF::SVFIRprivate
addGlobalPAGEdge(const SVFStmt *edge)SVF::SVFIRinlineprivate
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< SVFVar, SVFStmt >inline
addIndirectCallsites(const CallICFGNode *cs, NodeID funPtr)SVF::SVFIRinlineprivate
addLoadStmt(NodeID src, NodeID dst)SVF::SVFIRprivate
addNode(SVFVar *node, NodeID i)SVF::IRGraphinlineprotected
addNormalGepStmt(NodeID src, NodeID dst, const AccessPath &ap)SVF::SVFIRprivate
addObjNode(const SVFValue *val, NodeID i)SVF::SVFIRinlineprivate
addObjNode(const SVFValue *, SVFVar *node, NodeID i)SVF::SVFIRinlineprivate
addPhiStmt(NodeID res, NodeID opnd, const ICFGNode *pred)SVF::SVFIRprivate
addRetNode(const SVFFunction *val, NodeID i)SVF::SVFIRinlineprivate
addRetNode(const SVFFunction *, SVFVar *node, NodeID i)SVF::SVFIRinlineprivate
addRetPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)SVF::SVFIRprivate
addSelectStmt(NodeID res, NodeID op1, NodeID op2, NodeID cond)SVF::SVFIRprivate
addStoreStmt(NodeID src, NodeID dst, const ICFGNode *val)SVF::SVFIRprivate
addThreadForkPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunEntryICFGNode *entry)SVF::SVFIRprivate
addThreadJoinPE(NodeID src, NodeID dst, const CallICFGNode *cs, const FunExitICFGNode *exit)SVF::SVFIRprivate
addToStmt2TypeMap(SVFStmt *edge)SVF::SVFIRinlineprivate
addToSVFStmtList(ICFGNode *inst, SVFStmt *edge)SVF::SVFIRinline
addToTypeLocSetsMap(NodeID argId, SVFTypeLocSetsPair &locSets)SVF::SVFIRinline
addUnaryOPStmt(NodeID src, NodeID dst, u32_t opcode)SVF::SVFIRprivate
addValNode(const SVFValue *val, NodeID i, const SVFBaseNode *gNode)SVF::SVFIRinlineprivate
addValNode(const SVFValue *, SVFVar *node, NodeID i)SVF::SVFIRinlineprivate
addVarargNode(const SVFFunction *val, NodeID i)SVF::SVFIRinlineprivate
addVarargNode(const SVFFunction *, SVFVar *node, NodeID i)SVF::SVFIRinlineprivate
addVariantGepStmt(NodeID src, NodeID dst, const AccessPath &ap)SVF::SVFIRprivate
begin()SVF::GenericGraph< SVFVar, SVFStmt >inline
begin() constSVF::GenericGraph< SVFVar, SVFStmt >inline
BVDataPTAImpl classSVF::SVFIRfriend
callGraphSVF::SVFIRprivate
callSiteArgsListMapSVF::SVFIRprivate
callsiteHasRet(const RetICFGNode *cs) constSVF::SVFIRinline
callSiteRetMapSVF::SVFIRprivate
callSiteSetSVF::SVFIRprivate
CallSiteSet typedefSVF::SVFIR
CallSiteToFunPtrMap typedefSVF::SVFIR
candidatePointersSVF::SVFIRprivate
chgraphSVF::SVFIRprivate
const_iterator typedefSVF::GenericGraph< SVFVar, SVFStmt >
CSToArgsListMap typedefSVF::SVFIR
CSToRetMap typedefSVF::SVFIR
destroy()SVF::SVFIRprivate
dump(std::string name)SVF::IRGraph
edgeNumSVF::GenericGraph< SVFVar, SVFStmt >
EdgeType typedefSVF::GenericGraph< SVFVar, SVFStmt >
end()SVF::GenericGraph< SVFVar, SVFStmt >inline
end() constSVF::GenericGraph< SVFVar, SVFStmt >inline
ExternalPAG classSVF::SVFIRfriend
fromFileSVF::IRGraphprotected
funArgsListMapSVF::SVFIRprivate
funHasRet(const SVFFunction *func) constSVF::SVFIRinline
FunPtrToCallSitesMap typedefSVF::SVFIR
funPtrToCallSitesMapSVF::SVFIRprivate
funRetMapSVF::SVFIRprivate
FunToArgsListMap typedefSVF::SVFIR
FunToPAGEdgeSetMap typedefSVF::SVFIR
FunToRetMap typedefSVF::SVFIR
GenericGraph()SVF::GenericGraph< SVFVar, SVFStmt >inline
GepObjVarMapSVF::SVFIRprivate
GepValObjMapSVF::SVFIRprivate
GepValueVarMap typedefSVF::SVFIR
getAllFieldsObjVars(const MemObj *obj)SVF::SVFIR
getAllFieldsObjVars(NodeID id)SVF::SVFIR
getAllValidPtrs()SVF::SVFIRinline
getBaseObj(NodeID id) constSVF::SVFIRinline
getBaseObjVar(NodeID id) constSVF::SVFIRinline
getBlackHoleNode() constSVF::IRGraphinline
getBlackHoleObj() constSVF::IRGraphinline
getBlkPtr() constSVF::IRGraphinline
getCallGraph()SVF::SVFIRinline
getCallSiteArgsList(const CallICFGNode *cs) constSVF::SVFIRinline
getCallSiteArgsMap()SVF::SVFIRinline
getCallSiteRet(const RetICFGNode *cs) constSVF::SVFIRinline
getCallSiteRets()SVF::SVFIRinline
getCallSiteSet() constSVF::SVFIRinline
getCHG()SVF::SVFIRinline
getConstantNode() constSVF::IRGraphinline
getConstantObj() constSVF::IRGraphinline
getFieldObjNodeNum() constSVF::SVFIRinline
getFieldsAfterCollapse(NodeID id)SVF::SVFIR
getFieldValNodeNum() constSVF::SVFIRinline
getFIObjVar(const MemObj *obj) constSVF::SVFIRinline
getFIObjVar(NodeID id) constSVF::SVFIRinline
getFunArgsList(const SVFFunction *func) constSVF::SVFIRinline
getFunArgsMap()SVF::SVFIRinline
getFunPtr(const CallICFGNode *cs) constSVF::SVFIRinline
getFunRet(const SVFFunction *func) constSVF::SVFIRinline
getFunRets()SVF::SVFIRinline
getGepObjNodeMap()SVF::SVFIRinline
getGepObjVar(const MemObj *obj, const APOffset &ap)SVF::SVFIR
getGepObjVar(NodeID id, const APOffset &ap)SVF::SVFIR
getGepValVar(const SVFValue *curInst, NodeID base, const AccessPath &ap) constSVF::SVFIR
getGlobalSVFStmtSet()SVF::SVFIRinline
getGNode(NodeID id) constSVF::GenericGraph< SVFVar, SVFStmt >inline
getGraphName() constSVF::IRGraphinline
getICFG() constSVF::SVFIRinline
getIndCallSites(NodeID funPtr) constSVF::SVFIRinline
getIndirectCallsites() constSVF::SVFIRinline
getIntraPAGEdge(NodeID src, NodeID dst, SVFStmt::PEDGEK kind)SVF::SVFIRinline
getIntraPAGEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)SVF::SVFIRinline
getMemObj(const SVFValue *val) constSVF::IRGraphinlineprotected
getMemToFieldsMap()SVF::SVFIRinline
getModule()SVF::SVFIRinline
getNodeNumAfterPAGBuild() constSVF::IRGraphinline
getNullPtr() constSVF::IRGraphinline
getObject(NodeID id) constSVF::SVFIRinline
getObject(const ObjVar *node) constSVF::SVFIRinline
getObjectNode(const SVFValue *V)SVF::IRGraphinline
getObjectNodeNum() constSVF::IRGraphinline
getPAG(bool buildFromFile=false)SVF::SVFIRinlinestatic
getPAGEdgeNum() constSVF::IRGraphinline
getPAGNodeNum() constSVF::IRGraphinline
getPTAPAGEdgeNum() constSVF::IRGraphinline
getPTASVFStmtList(const ICFGNode *inst)SVF::SVFIRinline
getPTASVFStmtSet(SVFStmt::PEDGEK kind)SVF::SVFIRinline
getReturnNode(const SVFFunction *func) constSVF::IRGraphinline
getSVFStmtList(const ICFGNode *inst)SVF::SVFIRinline
getSVFStmtSet(SVFStmt::PEDGEK kind)SVF::SVFIRinline
getSymbolInfo() constSVF::IRGraphinline
getTotalEdgeNum() constSVF::GenericGraph< SVFVar, SVFStmt >inline
getTotalNodeNum() constSVF::GenericGraph< SVFVar, SVFStmt >inline
getTypeLocSetsMap(NodeID argId)SVF::SVFIRinline
getValueEdges(const SVFValue *V)SVF::IRGraphinline
getValueNode(const SVFValue *V)SVF::IRGraphinline
getValueNodeNum() constSVF::IRGraphinline
getVarargNode(const SVFFunction *func) constSVF::IRGraphinline
globSVFStmtSetSVF::SVFIRprivate
handleBlackHole(bool b)SVF::SVFIRstatic
hasCallSiteArgsMap(const CallICFGNode *cs) constSVF::SVFIRinline
hasFunArgsList(const SVFFunction *func) constSVF::SVFIRinline
hasGNode(NodeID id) constSVF::GenericGraph< SVFVar, SVFStmt >inline
hasLabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind, const ICFGNode *cs)SVF::IRGraphprotected
hasLabeledEdge(SVFVar *src, SVFVar *op1, SVFStmt::PEDGEK kind, const SVFVar *op2)SVF::IRGraphprotected
hasNonlabeledEdge(SVFVar *src, SVFVar *dst, SVFStmt::PEDGEK kind)SVF::IRGraphprotected
hasPTASVFStmtList(const ICFGNode *inst) constSVF::SVFIRinline
hasSVFStmtList(const ICFGNode *inst) constSVF::SVFIRinline
hasValueNode(const SVFValue *V)SVF::IRGraphinline
icfgSVF::SVFIRprivate
icfgNode2PTASVFStmtsMapSVF::SVFIRprivate
icfgNode2SVFStmtsMapSVF::SVFIRprivate
ICFGNode2SVFStmtsMap typedefSVF::SVFIR
IDToNodeMapSVF::GenericGraph< SVFVar, SVFStmt >protected
IDToNodeMapTy typedefSVF::GenericGraph< SVFVar, SVFStmt >
incEdgeNum()SVF::GenericGraph< SVFVar, SVFStmt >inline
incNodeNum()SVF::GenericGraph< SVFVar, SVFStmt >inline
indCallSiteToFunPtrMapSVF::SVFIRprivate
initialiseCandidatePointers()SVF::SVFIR
IRGraph(bool buildFromFile)SVF::IRGraphinline
isBlkObj(NodeID id) constSVF::SVFIRinline
isBlkObjOrConstantObj(NodeID id) constSVF::SVFIRinline
isBlkPtr(NodeID id) constSVF::SVFIRinline
isBuiltFromFile()SVF::IRGraphinline
isConstantObj(NodeID id) constSVF::SVFIRinline
isFunPtr(NodeID id) constSVF::SVFIRinline
isIndirectCallSites(const CallICFGNode *cs) constSVF::SVFIRinline
isNullPtr(NodeID id) constSVF::SVFIRinline
isPhiNode(const SVFVar *node) constSVF::SVFIRinline
isValidPointer(NodeID nodeId) constSVF::SVFIR
isValidTopLevelPtr(const SVFVar *node)SVF::SVFIR
iterator typedefSVF::GenericGraph< SVFVar, SVFStmt >
KindToPTASVFStmtSetMapSVF::IRGraphprotected
KindToSVFStmtSetMapSVF::IRGraphprotected
mapValueToEdge(const SVFValue *V, SVFStmt *edge)SVF::IRGraphinlineprotected
MemObjToFieldsMap typedefSVF::SVFIR
memToFieldsMapSVF::SVFIRprivate
NodeAccessPath typedefSVF::SVFIR
NodeAccessPathMap typedefSVF::SVFIR
nodeNumSVF::GenericGraph< SVFVar, SVFStmt >
nodeNumAfterPAGBuildSVF::IRGraphprotected
NodeOffset typedefSVF::SVFIR
NodeOffsetMap typedefSVF::SVFIR
NodePairSetMap typedefSVF::SVFIR
NodeToNodeMap typedefSVF::SVFIR
NodeType typedefSVF::GenericGraph< SVFVar, SVFStmt >
pagSVF::SVFIRprivatestatic
PAGBuilderFromFile classSVF::SVFIRfriend
PHINodeMap typedefSVF::SVFIR
phiNodeMapSVF::SVFIRprivate
print()SVF::SVFIR
releaseSVFIR()SVF::SVFIRinlinestatic
removeGNode(NodeType *node)SVF::GenericGraph< SVFVar, SVFStmt >inline
setCallGraph(PTACallGraph *c)SVF::SVFIRinline
setCHG(CommonCHGraph *c)SVF::SVFIRinline
setICFG(ICFG *i)SVF::SVFIRinline
setModule(SVFModule *mod)SVF::SVFIRinline
setNodeNumAfterPAGBuild(u32_t num)SVF::IRGraphinline
SVFIR(bool buildFromFile)SVF::SVFIRprivate
SVFIRBuilder classSVF::SVFIRfriend
SVFIRReader classSVF::SVFIRfriend
SVFIRWriter classSVF::SVFIRfriend
svfModuleSVF::SVFIRprivate
SVFStmtList typedefSVF::SVFIR
SVFStmtSet typedefSVF::IRGraph
SVFTypeLocSetsPair typedefSVF::SVFIR
SVFVarList typedefSVF::SVFIR
symInfoSVF::IRGraphprotected
totalPTAPAGEdgeSVF::IRGraphprotected
TypeBasedHeapCloning classSVF::SVFIRfriend
TypeLocSetsMap typedefSVF::SVFIR
typeLocSetsMapSVF::SVFIRprivate
ValueToEdgeMap typedefSVF::IRGraph
valueToEdgeMapSVF::IRGraphprotected
view()SVF::IRGraph
~GenericGraph()SVF::GenericGraph< SVFVar, SVFStmt >inlinevirtual
~IRGraph()SVF::IRGraphvirtual
~SVFIR()SVF::SVFIRinlinevirtual
Generated by doxygen 1.9.1