SVF::VFG Member List

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

addActualParmVFGNode(const ValVar *aparm, const CallICFGNode *cs)	SVF::VFG	inlineprotected
addActualRetVFGNode(const ValVar *ret, const CallICFGNode *cs)	SVF::VFG	inlineprotected
addAddrVFGNode(const AddrStmt *addr)	SVF::VFG	inlineprotected
addBinaryOPVFGNode(const BinaryOPStmt *edge)	SVF::VFG	inlineprotected
addBranchVFGNode(const BranchStmt *edge)	SVF::VFG	inlineprotected
addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)	SVF::VFG
addCmpVFGNode(const CmpStmt *edge)	SVF::VFG	inlineprotected
addCopyVFGNode(const CopyStmt *copy)	SVF::VFG	inlineprotected
addFormalParmVFGNode(const ValVar *fparm, const FunObjVar *fun, CallPESet &callPEs)	SVF::VFG	inlineprotected
addFormalRetVFGNode(const ValVar *uniqueFunRet, const FunObjVar *fun, RetPESet &retPEs)	SVF::VFG	inlineprotected
addGepVFGNode(const GepStmt *gep)	SVF::VFG	inlineprotected
addGNode(NodeID id, NodeType *node)	SVF::GenericGraph< NodeTy, EdgeTy >	inline
addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)	SVF::VFG	inlineprotected
addIntraDirectVFEdge(NodeID srcId, NodeID dstId)	SVF::VFG
addIntraPHIVFGNode(const MultiOpndStmt *edge)	SVF::VFG	inlineprotected
addLoadVFGNode(const LoadStmt *load)	SVF::VFG	inlineprotected
addNullPtrVFGNode(const ValVar *svfVar)	SVF::VFG	inlineprotected
addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)	SVF::VFG
addStmtVFGNode(StmtVFGNode *node, const SVFStmt *svfStmt)	SVF::VFG	inlineprotected
addStoreVFGNode(const StoreStmt *store)	SVF::VFG	inlineprotected
addUnaryOPVFGNode(const UnaryOPStmt *edge)	SVF::VFG	inlineprotected
addVFGEdge(VFGEdge *edge)	SVF::VFG	inline
addVFGInterEdges(const CallICFGNode *cs, const FunObjVar *callee)	SVF::VFG	protected
addVFGNode(VFGNode *vfgNode, ICFGNode *icfgNode)	SVF::VFG	inlineprotectedvirtual
addVFGNodes()	SVF::VFG	protected
begin()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
begin() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
callgraph	SVF::VFG	protected
CallPESet typedef	SVF::VFG
checkIntraEdgeParents(const VFGNode *srcNode, const VFGNode *dstNode)	SVF::VFG	inlineprotected
connectAParamAndFParam(const ValVar *csArg, const ValVar *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &edges)	SVF::VFG	inlineprotectedvirtual
connectCallerAndCallee(const CallICFGNode *cs, const FunObjVar *callee, VFGEdgeSetTy &edges)	SVF::VFG	virtual
connectDirectVFGEdges()	SVF::VFG	protected
connectFRetAndARet(const ValVar *funReturn, const ValVar *csReturn, CallSiteID csId, VFGEdgeSetTy &edges)	SVF::VFG	inlineprotectedvirtual
const_iterator typedef	SVF::VFG
destroy()	SVF::VFG	protected
dump(const std::string &file, bool simple=false)	SVF::VFG
edgeNum	SVF::GenericGraph< NodeTy, EdgeTy >
EdgeType typedef	SVF::GenericGraph< NodeTy, EdgeTy >
end()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
end() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
FULLSVFG enum value	SVF::VFG
FULLSVFG_OPT enum value	SVF::VFG
funToVFGNodesMap	SVF::VFG	protected
FunToVFGNodesMapTy typedef	SVF::VFG
GenericGraph()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getActualParmVFGNode(const SVFVar *aparm, const CallICFGNode *cs) const	SVF::VFG	inline
getActualRetVFGNode(const SVFVar *aret) const	SVF::VFG	inline
getBinaryOPVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
getBranchVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
getCallGraph() const	SVF::VFG	inline
getCallSite(CallSiteID id) const	SVF::VFG	inline
getCallSiteID(const CallICFGNode *cs, const FunObjVar *func) const	SVF::VFG	inline
getCmpVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
getDef(const ValVar *valVar) const	SVF::VFG	inlineprotected
getDefVFGNode(const ValVar *valVar) const	SVF::VFG	inline
getFormalParmVFGNode(const SVFVar *fparm) const	SVF::VFG	inline
getFormalRetVFGNode(const SVFVar *fret) const	SVF::VFG	inline
getGlobalVFGNodes()	SVF::VFG	inline
getGNode(NodeID id) const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getIntraPHIVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
getIntraVFGEdge(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
getKind() const	SVF::VFG	inline
getLHSTopLevPtr(const VFGNode *node) const	SVF::VFG
getPAG() const	SVF::VFG	inline
getStmtVFGNode(const SVFStmt *svfStmt) const	SVF::VFG	inline
getSVFStmtSet(SVFStmt::PEDGEK kind)	SVF::VFG	inlineprotectedvirtual
getTotalEdgeNum() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getTotalNodeNum() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getUnaryOPVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
getVFGNode(NodeID id) const	SVF::VFG	inline
getVFGNodeBegin(const FunObjVar *fun) const	SVF::VFG	inline
getVFGNodeEnd(const FunObjVar *fun) const	SVF::VFG	inline
getVFGNodes(const FunObjVar *fun)	SVF::VFG	inline
globalVFGNodes	SVF::VFG	protected
GlobalVFGNodeSet typedef	SVF::VFG
hasActualParmVFGNode(const SVFVar *aparm, const CallICFGNode *cs) const	SVF::VFG	inline
hasActualRetVFGNode(const SVFVar *aret) const	SVF::VFG	inline
hasBinaryOPVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
hasBlackHoleConstObjAddrAsDef(const ValVar *valVar) const	SVF::VFG	inline
hasBranchVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
hasCmpVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
hasDef(const ValVar *valVar) const	SVF::VFG	inlineprotected
hasFormalParmVFGNode(const SVFVar *fparm) const	SVF::VFG	inline
hasFormalRetVFGNode(const SVFVar *fret) const	SVF::VFG	inline
hasGNode(NodeID id) const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
hasInterVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)	SVF::VFG
hasIntraPHIVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
hasIntraVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
hasLHSTopLevPtr(const VFGNode *node) const	SVF::VFG	inline
hasStmtVFGNode(const SVFStmt *svfStmt) const	SVF::VFG	inline
hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
hasUnaryOPVFGNode(const SVFVar *svfVar) const	SVF::VFG	inline
hasVFGNode(NodeID id) const	SVF::VFG	inline
hasVFGNodes(const FunObjVar *fun) const	SVF::VFG	inline
IDToNodeMap	SVF::GenericGraph< NodeTy, EdgeTy >	protected
IDToNodeMapTy typedef	SVF::GenericGraph< NodeTy, EdgeTy >
incEdgeNum()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
incNodeNum()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
isFunEntryVFGNode(const VFGNode *node) const	SVF::VFG
isInterestedSVFVar(const SVFVar *node) const	SVF::VFG	inlineprotectedvirtual
isPhiCopyEdge(const SVFStmt *copy) const	SVF::VFG	inlineprotected
isPtrOnlySVFG() const	SVF::VFG	inline
iterator typedef	SVF::VFG
kind	SVF::VFG	protected
nodeNum	SVF::GenericGraph< NodeTy, EdgeTy >
NodeType typedef	SVF::GenericGraph< NodeTy, EdgeTy >
pag	SVF::VFG	protected
PTRONLYSVFG enum value	SVF::VFG
PTRONLYSVFG_OPT enum value	SVF::VFG
removeGNode(NodeType *node)	SVF::GenericGraph< NodeTy, EdgeTy >	inline
removeVFGEdge(VFGEdge *edge)	SVF::VFG	inline
removeVFGNode(VFGNode *node)	SVF::VFG	inline
RetPESet typedef	SVF::VFG
setDef(const ValVar *valVar, const VFGNode *node)	SVF::VFG	inlineprotected
SVFGEdgeSetTy typedef	SVF::VFG
SVFStmtSet typedef	SVF::VFG
SVFStmtToStmtVFGNodeMap	SVF::VFG	protected
SVFStmtToStmtVFGNodeMapTy typedef	SVF::VFG
SVFVarSet typedef	SVF::VFG
SVFVarToActualParmMap	SVF::VFG	protected
SVFVarToActualParmMapTy typedef	SVF::VFG
SVFVarToActualRetMap	SVF::VFG	protected
SVFVarToActualRetMapTy typedef	SVF::VFG
SVFVarToBinaryOPVFGNodeMap	SVF::VFG	protected
SVFVarToBinaryOPVFGNodeMapTy typedef	SVF::VFG
SVFVarToBranchVFGNodeMap	SVF::VFG	protected
SVFVarToBranchVFGNodeMapTy typedef	SVF::VFG
SVFVarToCmpVFGNodeMap	SVF::VFG	protected
SVFVarToCmpVFGNodeMapTy typedef	SVF::VFG
SVFVarToFormalParmMap	SVF::VFG	protected
SVFVarToFormalParmMapTy typedef	SVF::VFG
SVFVarToFormalRetMap	SVF::VFG	protected
SVFVarToFormalRetMapTy typedef	SVF::VFG
SVFVarToIntraPHIVFGNodeMap	SVF::VFG	protected
SVFVarToPHIVFGNodeMapTy typedef	SVF::VFG
SVFVarToUnaryOPVFGNodeMap	SVF::VFG	protected
SVFVarToUnaryOPVFGNodeMapTy typedef	SVF::VFG
totalVFGNode	SVF::VFG	protected
updateCallGraph(PointerAnalysis *pta)	SVF::VFG
ValVarToDefMap	SVF::VFG	protected
ValVarToDefMapTy typedef	SVF::VFG
VFG(CallGraph *callgraph, VFGK k=FULLSVFG)	SVF::VFG
VFGEdgeSetTy typedef	SVF::VFG
VFGK enum name	SVF::VFG
VFGNodeIDToNodeMapTy typedef	SVF::VFG
VFGNodeIter typedef	SVF::VFG
VFGNodes(const FunObjVar *fun) const	SVF::VFG	inline
VFGNodeSet typedef	SVF::VFG
view()	SVF::VFG
~GenericGraph()	SVF::GenericGraph< NodeTy, EdgeTy >	inlinevirtual
~VFG()	SVF::VFG	inlinevirtual