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

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

addCFLEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)SVF::CFLGraphvirtual
addCFLNode(NodeID id, CFLNode *node)SVF::CFLGraphvirtual
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< CFLNode, CFLEdge >inline
begin()SVF::GenericGraph< CFLNode, CFLEdge >inline
begin() constSVF::GenericGraph< CFLNode, CFLEdge >inline
CFLEdgeSet typedefSVF::CFLGraph
cflEdgeSetSVF::CFLGraphprivate
CFLGraph(Kind kind)SVF::CFLGraphinline
const_iterator typedefSVF::GenericGraph< CFLNode, CFLEdge >
destroy()SVF::GenericGraph< CFLNode, CFLEdge >inline
dump(const std::string &filename)SVF::CFLGraph
edgeNumSVF::GenericGraph< CFLNode, CFLEdge >
EdgeType typedefSVF::GenericGraph< CFLNode, CFLEdge >
end()SVF::GenericGraph< CFLNode, CFLEdge >inline
end() constSVF::GenericGraph< CFLNode, CFLEdge >inline
GenericGraph()SVF::GenericGraph< CFLNode, CFLEdge >inline
getCFLEdges() constSVF::CFLGraphinline
getGNode(NodeID id) constSVF::GenericGraph< CFLNode, CFLEdge >inline
getStartKind() constSVF::CFLGraph
getTotalEdgeNum() constSVF::GenericGraph< CFLNode, CFLEdge >inline
getTotalNodeNum() constSVF::GenericGraph< CFLNode, CFLEdge >inline
hasEdge(CFLNode *src, CFLNode *dst, CFLEdge::GEdgeFlag label)SVF::CFLGraphvirtual
hasGNode(NodeID id) constSVF::GenericGraph< CFLNode, CFLEdge >inline
IDToNodeMapSVF::GenericGraph< CFLNode, CFLEdge >protected
IDToNodeMapTy typedefSVF::GenericGraph< CFLNode, CFLEdge >
incEdgeNum()SVF::GenericGraph< CFLNode, CFLEdge >inline
incNodeNum()SVF::GenericGraph< CFLNode, CFLEdge >inline
iterator typedefSVF::GenericGraph< CFLNode, CFLEdge >
Kind typedefSVF::CFLGraph
nodeNumSVF::GenericGraph< CFLNode, CFLEdge >
NodeType typedefSVF::GenericGraph< CFLNode, CFLEdge >
removeGNode(NodeType *node)SVF::GenericGraph< CFLNode, CFLEdge >inline
startKindSVF::CFLGraph
Symbol typedefSVF::CFLGraph
view()SVF::CFLGraph
~CFLGraph() override=defaultSVF::CFLGraph
~GenericGraph()SVF::GenericGraph< CFLNode, CFLEdge >inlinevirtual