Static Value-Flow Analysis
|
This is the complete list of members for SVF::VFG, including all inherited members.
addActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs) | SVF::VFG | inlineprotected |
addActualRetVFGNode(const PAGNode *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 PAGNode *fparm, const SVFFunction *fun, CallPESet &callPEs) | SVF::VFG | inlineprotected |
addFormalRetVFGNode(const PAGNode *uniqueFunRet, const SVFFunction *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 PAGNode *pagNode) | SVF::VFG | inlineprotected |
addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId) | SVF::VFG | |
addStmtVFGNode(StmtVFGNode *node, const PAGEdge *pagEdge) | 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 SVFFunction *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 PAGNode *csArg, const PAGNode *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &edges) | SVF::VFG | inlineprotectedvirtual |
connectCallerAndCallee(const CallICFGNode *cs, const SVFFunction *callee, VFGEdgeSetTy &edges) | SVF::VFG | virtual |
connectDirectVFGEdges() | SVF::VFG | protected |
connectFRetAndARet(const PAGNode *funReturn, const PAGNode *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 PAGNode *aparm, const CallICFGNode *cs) const | SVF::VFG | inline |
getActualRetVFGNode(const PAGNode *aret) const | SVF::VFG | inline |
getBinaryOPVFGNode(const PAGNode *pagNode) const | SVF::VFG | inline |
getBranchVFGNode(const PAGNode *pagNode) const | SVF::VFG | inline |
getCallGraph() const | SVF::VFG | inline |
getCallSite(CallSiteID id) const | SVF::VFG | inline |
getCallSiteID(const CallICFGNode *cs, const SVFFunction *func) const | SVF::VFG | inline |
getCmpVFGNode(const PAGNode *pagNode) const | SVF::VFG | inline |
getDef(const PAGNode *pagNode) const | SVF::VFG | inlineprotected |
getDefVFGNode(const PAGNode *pagNode) const | SVF::VFG | inline |
getFormalParmVFGNode(const PAGNode *fparm) const | SVF::VFG | inline |
getFormalRetVFGNode(const PAGNode *fret) const | SVF::VFG | inline |
getGlobalVFGNodes() | SVF::VFG | inline |
getGNode(NodeID id) const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getIntraPHIVFGNode(const PAGNode *pagNode) 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 |
getPAGEdgeSet(SVFStmt::PEDGEK kind) | SVF::VFG | inlineprotectedvirtual |
getStmtVFGNode(const PAGEdge *pagEdge) const | SVF::VFG | inline |
getTotalEdgeNum() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getTotalNodeNum() const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
getUnaryOPVFGNode(const PAGNode *pagNode) const | SVF::VFG | inline |
getVFGNode(NodeID id) const | SVF::VFG | inline |
getVFGNodeBegin(const SVFFunction *fun) const | SVF::VFG | inline |
getVFGNodeEnd(const SVFFunction *fun) const | SVF::VFG | inline |
getVFGNodes(const SVFFunction *fun) | SVF::VFG | inline |
globalVFGNodes | SVF::VFG | protected |
GlobalVFGNodeSet typedef | SVF::VFG | |
hasBlackHoleConstObjAddrAsDef(const PAGNode *pagNode) const | SVF::VFG | inline |
hasDef(const PAGNode *pagNode) const | SVF::VFG | inlineprotected |
hasGNode(NodeID id) const | SVF::GenericGraph< NodeTy, EdgeTy > | inline |
hasInterVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId) | SVF::VFG | |
hasIntraVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind) | SVF::VFG | |
hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind) | SVF::VFG | |
hasVFGNode(NodeID id) const | SVF::VFG | inline |
hasVFGNodes(const SVFFunction *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 | |
isInterestedPAGNode(const SVFVar *node) const | SVF::VFG | inlineprotectedvirtual |
isPhiCopyEdge(const PAGEdge *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 |
PAGEdgeToStmtVFGNodeMap | SVF::VFG | protected |
PAGEdgeToStmtVFGNodeMapTy typedef | SVF::VFG | |
PAGNodeSet typedef | SVF::VFG | |
PAGNodeToActualParmMap | SVF::VFG | protected |
PAGNodeToActualParmMapTy typedef | SVF::VFG | |
PAGNodeToActualRetMap | SVF::VFG | protected |
PAGNodeToActualRetMapTy typedef | SVF::VFG | |
PAGNodeToBinaryOPVFGNodeMap | SVF::VFG | protected |
PAGNodeToBinaryOPVFGNodeMapTy typedef | SVF::VFG | |
PAGNodeToBranchVFGNodeMap | SVF::VFG | protected |
PAGNodeToBranchVFGNodeMapTy typedef | SVF::VFG | |
PAGNodeToCmpVFGNodeMap | SVF::VFG | protected |
PAGNodeToCmpVFGNodeMapTy typedef | SVF::VFG | |
PAGNodeToDefMap | SVF::VFG | protected |
PAGNodeToDefMapTy typedef | SVF::VFG | |
PAGNodeToFormalParmMap | SVF::VFG | protected |
PAGNodeToFormalParmMapTy typedef | SVF::VFG | |
PAGNodeToFormalRetMap | SVF::VFG | protected |
PAGNodeToFormalRetMapTy typedef | SVF::VFG | |
PAGNodeToIntraPHIVFGNodeMap | SVF::VFG | protected |
PAGNodeToPHIVFGNodeMapTy typedef | SVF::VFG | |
PAGNodeToUnaryOPVFGNodeMap | SVF::VFG | protected |
PAGNodeToUnaryOPVFGNodeMapTy typedef | SVF::VFG | |
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 PAGNode *pagNode, const VFGNode *node) | SVF::VFG | inlineprotected |
SVFGEdgeSetTy typedef | SVF::VFG | |
SVFStmtSet typedef | SVF::VFG | |
totalVFGNode | SVF::VFG | protected |
updateCallGraph(PointerAnalysis *pta) | SVF::VFG | |
VFG(PTACallGraph *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 SVFFunction *fun) const | SVF::VFG | inline |
VFGNodeSet typedef | SVF::VFG | |
view() | SVF::VFG | |
~GenericGraph() | SVF::GenericGraph< NodeTy, EdgeTy > | inlinevirtual |
~VFG() | SVF::VFG | inlinevirtual |