|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::SlicedICFGView, including all inherited members.
| bridgedEdges | SVF::SlicedICFGView | private |
| bridgedPreds | SVF::SlicedICFGView | private |
| bridgedPredsOf(const ICFGNode *n) const | SVF::SlicedICFGView | inline |
| bridgedSuccsOf(const ICFGNode *n) const | SVF::SlicedICFGView | inline |
| buildBridgedEdges() | SVF::SlicedICFGView | private |
| buildICFGSets(const OrderedSet< const ICFGNode * > &keepNodes, const OrderedSet< const FunObjVar * > &keptFunctions) | SVF::SlicedICFGView | private |
| dump(const std::string &filename) const | SVF::SlicedICFGView | |
| getFunEntry(const FunObjVar *fun) const | SVF::SlicedICFGView | |
| getFunICFGNodes(const FunObjVar *fun, std::vector< const ICFGNode * > &out) const | SVF::SlicedICFGView | |
| getKeptNodes() const | SVF::SlicedICFGView | inline |
| getOriginalICFG() const | SVF::SlicedICFGView | inline |
| getPredNodes(const ICFGNode *node, std::vector< const ICFGNode * > &out) const | SVF::SlicedICFGView | |
| getSuccNodes(const ICFGNode *node, std::vector< const ICFGNode * > &out) const | SVF::SlicedICFGView | |
| icfg | SVF::SlicedICFGView | private |
| isKeptNode(const ICFGNode *node) const | SVF::SlicedICFGView | |
| keptEdges | SVF::SlicedICFGView | private |
| keptNodes | SVF::SlicedICFGView | private |
| keptNodesSet | SVF::SlicedICFGView | private |
| SlicedICFGView(ICFG *icfg, CallGraph *cg, const OrderedSet< const ICFGNode * > &keepNodes, const OrderedSet< const FunObjVar * > &keptFunctions, bool buildBridged=true) | SVF::SlicedICFGView |