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

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

bridgedEdgesSVF::SlicedICFGViewprivate
bridgedPredsSVF::SlicedICFGViewprivate
bridgedPredsOf(const ICFGNode *n) constSVF::SlicedICFGViewinline
bridgedSuccsOf(const ICFGNode *n) constSVF::SlicedICFGViewinline
buildBridgedEdges()SVF::SlicedICFGViewprivate
buildICFGSets(const OrderedSet< const ICFGNode * > &keepNodes)SVF::SlicedICFGViewprivate
dump(const std::string &filename) constSVF::SlicedICFGView
getFunEntry(const FunObjVar *fun) constSVF::SlicedICFGView
getFunExit(const FunObjVar *fun) constSVF::SlicedICFGView
getFunICFGNodes(const FunObjVar *fun, std::vector< const ICFGNode * > &out) constSVF::SlicedICFGView
getKeptNodes() constSVF::SlicedICFGViewinline
getLocalSuccessors(const ICFGNode *node, const Map< const ICFGNode *, const ICFGNode * > &callsiteReturnNodes, std::vector< const ICFGNode * > &successors)SVF::SlicedICFGViewprivatestatic
getOriginalICFG() constSVF::SlicedICFGViewinline
getPredNodes(const ICFGNode *node, std::vector< const ICFGNode * > &out) constSVF::SlicedICFGView
getSuccNodes(const ICFGNode *node, std::vector< const ICFGNode * > &out) constSVF::SlicedICFGView
icfgSVF::SlicedICFGViewprivate
isKeptNode(const ICFGNode *node) constSVF::SlicedICFGView
keptNodesSVF::SlicedICFGViewprivate
keptNodesSetSVF::SlicedICFGViewprivate
SlicedICFGView(ICFG *icfg, const OrderedSet< const ICFGNode * > &keepNodes)SVF::SlicedICFGView