Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::VFG Member List

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

addActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs)SVF::VFGinlineprotected
addActualRetVFGNode(const PAGNode *ret, const CallICFGNode *cs)SVF::VFGinlineprotected
addAddrVFGNode(const AddrStmt *addr)SVF::VFGinlineprotected
addBinaryOPVFGNode(const BinaryOPStmt *edge)SVF::VFGinlineprotected
addBranchVFGNode(const BranchStmt *edge)SVF::VFGinlineprotected
addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)SVF::VFG
addCmpVFGNode(const CmpStmt *edge)SVF::VFGinlineprotected
addCopyVFGNode(const CopyStmt *copy)SVF::VFGinlineprotected
addFormalParmVFGNode(const PAGNode *fparm, const FunObjVar *fun, CallPESet &callPEs)SVF::VFGinlineprotected
addFormalRetVFGNode(const PAGNode *uniqueFunRet, const FunObjVar *fun, RetPESet &retPEs)SVF::VFGinlineprotected
addGepVFGNode(const GepStmt *gep)SVF::VFGinlineprotected
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)SVF::VFGinlineprotected
addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)SVF::VFGinlineprotected
addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)SVF::VFGinlineprotected
addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)SVF::VFGinlineprotected
addIntraDirectVFEdge(NodeID srcId, NodeID dstId)SVF::VFG
addIntraPHIVFGNode(const MultiOpndStmt *edge)SVF::VFGinlineprotected
addLoadVFGNode(const LoadStmt *load)SVF::VFGinlineprotected
addNullPtrVFGNode(const PAGNode *pagNode)SVF::VFGinlineprotected
addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)SVF::VFG
addStmtVFGNode(StmtVFGNode *node, const PAGEdge *pagEdge)SVF::VFGinlineprotected
addStoreVFGNode(const StoreStmt *store)SVF::VFGinlineprotected
addUnaryOPVFGNode(const UnaryOPStmt *edge)SVF::VFGinlineprotected
addVFGEdge(VFGEdge *edge)SVF::VFGinline
addVFGInterEdges(const CallICFGNode *cs, const FunObjVar *callee)SVF::VFGprotected
addVFGNode(VFGNode *vfgNode, ICFGNode *icfgNode)SVF::VFGinlineprotectedvirtual
addVFGNodes()SVF::VFGprotected
begin()SVF::GenericGraph< NodeTy, EdgeTy >inline
begin() constSVF::GenericGraph< NodeTy, EdgeTy >inline
callgraphSVF::VFGprotected
CallPESet typedefSVF::VFG
checkIntraEdgeParents(const VFGNode *srcNode, const VFGNode *dstNode)SVF::VFGinlineprotected
connectAParamAndFParam(const PAGNode *csArg, const PAGNode *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &edges)SVF::VFGinlineprotectedvirtual
connectCallerAndCallee(const CallICFGNode *cs, const FunObjVar *callee, VFGEdgeSetTy &edges)SVF::VFGvirtual
connectDirectVFGEdges()SVF::VFGprotected
connectFRetAndARet(const PAGNode *funReturn, const PAGNode *csReturn, CallSiteID csId, VFGEdgeSetTy &edges)SVF::VFGinlineprotectedvirtual
const_iterator typedefSVF::VFG
destroy()SVF::VFGprotected
dump(const std::string &file, bool simple=false)SVF::VFG
edgeNumSVF::GenericGraph< NodeTy, EdgeTy >
EdgeType typedefSVF::GenericGraph< NodeTy, EdgeTy >
end()SVF::GenericGraph< NodeTy, EdgeTy >inline
end() constSVF::GenericGraph< NodeTy, EdgeTy >inline
FULLSVFG enum valueSVF::VFG
FULLSVFG_OPT enum valueSVF::VFG
funToVFGNodesMapSVF::VFGprotected
FunToVFGNodesMapTy typedefSVF::VFG
GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inline
getActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs) constSVF::VFGinline
getActualRetVFGNode(const PAGNode *aret) constSVF::VFGinline
getBinaryOPVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getBranchVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getCallGraph() constSVF::VFGinline
getCallSite(CallSiteID id) constSVF::VFGinline
getCallSiteID(const CallICFGNode *cs, const FunObjVar *func) constSVF::VFGinline
getCmpVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getDef(const PAGNode *pagNode) constSVF::VFGinlineprotected
getDefVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getFormalParmVFGNode(const PAGNode *fparm) constSVF::VFGinline
getFormalRetVFGNode(const PAGNode *fret) constSVF::VFGinline
getGlobalVFGNodes()SVF::VFGinline
getGNode(NodeID id) constSVF::GenericGraph< NodeTy, EdgeTy >inline
getIntraPHIVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getIntraVFGEdge(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)SVF::VFG
getKind() constSVF::VFGinline
getLHSTopLevPtr(const VFGNode *node) constSVF::VFG
getPAG() constSVF::VFGinline
getPAGEdgeSet(SVFStmt::PEDGEK kind)SVF::VFGinlineprotectedvirtual
getStmtVFGNode(const PAGEdge *pagEdge) constSVF::VFGinline
getTotalEdgeNum() constSVF::GenericGraph< NodeTy, EdgeTy >inline
getTotalNodeNum() constSVF::GenericGraph< NodeTy, EdgeTy >inline
getUnaryOPVFGNode(const PAGNode *pagNode) constSVF::VFGinline
getVFGNode(NodeID id) constSVF::VFGinline
getVFGNodeBegin(const FunObjVar *fun) constSVF::VFGinline
getVFGNodeEnd(const FunObjVar *fun) constSVF::VFGinline
getVFGNodes(const FunObjVar *fun)SVF::VFGinline
globalVFGNodesSVF::VFGprotected
GlobalVFGNodeSet typedefSVF::VFG
hasActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs) constSVF::VFGinline
hasActualRetVFGNode(const PAGNode *aret) constSVF::VFGinline
hasBinaryOPVFGNode(const PAGNode *pagNode) constSVF::VFGinline
hasBlackHoleConstObjAddrAsDef(const PAGNode *pagNode) constSVF::VFGinline
hasBranchVFGNode(const PAGNode *pagNode) constSVF::VFGinline
hasCmpVFGNode(const PAGNode *pagNode) constSVF::VFGinline
hasDef(const PAGNode *pagNode) constSVF::VFGinlineprotected
hasFormalParmVFGNode(const PAGNode *fparm) constSVF::VFGinline
hasFormalRetVFGNode(const PAGNode *fret) constSVF::VFGinline
hasGNode(NodeID id) constSVF::GenericGraph< NodeTy, EdgeTy >inline
hasInterVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)SVF::VFG
hasIntraPHIVFGNode(const PAGNode *pagNode) constSVF::VFGinline
hasIntraVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)SVF::VFG
hasLHSTopLevPtr(const VFGNode *node) constSVF::VFGinline
hasStmtVFGNode(const PAGEdge *pagEdge) constSVF::VFGinline
hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)SVF::VFG
hasUnaryOPVFGNode(const PAGNode *pagNode) constSVF::VFGinline
hasVFGNode(NodeID id) constSVF::VFGinline
hasVFGNodes(const FunObjVar *fun) constSVF::VFGinline
IDToNodeMapSVF::GenericGraph< NodeTy, EdgeTy >protected
IDToNodeMapTy typedefSVF::GenericGraph< NodeTy, EdgeTy >
incEdgeNum()SVF::GenericGraph< NodeTy, EdgeTy >inline
incNodeNum()SVF::GenericGraph< NodeTy, EdgeTy >inline
isFunEntryVFGNode(const VFGNode *node) constSVF::VFG
isInterestedPAGNode(const SVFVar *node) constSVF::VFGinlineprotectedvirtual
isPhiCopyEdge(const PAGEdge *copy) constSVF::VFGinlineprotected
isPtrOnlySVFG() constSVF::VFGinline
iterator typedefSVF::VFG
kindSVF::VFGprotected
nodeNumSVF::GenericGraph< NodeTy, EdgeTy >
NodeType typedefSVF::GenericGraph< NodeTy, EdgeTy >
pagSVF::VFGprotected
PAGEdgeToStmtVFGNodeMapSVF::VFGprotected
PAGEdgeToStmtVFGNodeMapTy typedefSVF::VFG
PAGNodeSet typedefSVF::VFG
PAGNodeToActualParmMapSVF::VFGprotected
PAGNodeToActualParmMapTy typedefSVF::VFG
PAGNodeToActualRetMapSVF::VFGprotected
PAGNodeToActualRetMapTy typedefSVF::VFG
PAGNodeToBinaryOPVFGNodeMapSVF::VFGprotected
PAGNodeToBinaryOPVFGNodeMapTy typedefSVF::VFG
PAGNodeToBranchVFGNodeMapSVF::VFGprotected
PAGNodeToBranchVFGNodeMapTy typedefSVF::VFG
PAGNodeToCmpVFGNodeMapSVF::VFGprotected
PAGNodeToCmpVFGNodeMapTy typedefSVF::VFG
PAGNodeToDefMapSVF::VFGprotected
PAGNodeToDefMapTy typedefSVF::VFG
PAGNodeToFormalParmMapSVF::VFGprotected
PAGNodeToFormalParmMapTy typedefSVF::VFG
PAGNodeToFormalRetMapSVF::VFGprotected
PAGNodeToFormalRetMapTy typedefSVF::VFG
PAGNodeToIntraPHIVFGNodeMapSVF::VFGprotected
PAGNodeToPHIVFGNodeMapTy typedefSVF::VFG
PAGNodeToUnaryOPVFGNodeMapSVF::VFGprotected
PAGNodeToUnaryOPVFGNodeMapTy typedefSVF::VFG
PTRONLYSVFG enum valueSVF::VFG
PTRONLYSVFG_OPT enum valueSVF::VFG
removeGNode(NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
removeVFGEdge(VFGEdge *edge)SVF::VFGinline
removeVFGNode(VFGNode *node)SVF::VFGinline
RetPESet typedefSVF::VFG
setDef(const PAGNode *pagNode, const VFGNode *node)SVF::VFGinlineprotected
SVFGEdgeSetTy typedefSVF::VFG
SVFStmtSet typedefSVF::VFG
totalVFGNodeSVF::VFGprotected
updateCallGraph(PointerAnalysis *pta)SVF::VFG
VFG(CallGraph *callgraph, VFGK k=FULLSVFG)SVF::VFG
VFGEdgeSetTy typedefSVF::VFG
VFGK enum nameSVF::VFG
VFGNodeIDToNodeMapTy typedefSVF::VFG
VFGNodeIter typedefSVF::VFG
VFGNodes(const FunObjVar *fun) constSVF::VFGinline
VFGNodeSet typedefSVF::VFG
view()SVF::VFG
~GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inlinevirtual
~VFG()SVF::VFGinlinevirtual
Generated by doxygen 1.9.8