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