|
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) | SVF::SlicedICFGView | private |
| dump(const std::string &filename) const | SVF::SlicedICFGView | |
| getFunEntry(const FunObjVar *fun) const | SVF::SlicedICFGView | |
| getFunExit(const FunObjVar *fun) const | SVF::SlicedICFGView | |
| getFunICFGNodes(const FunObjVar *fun, std::vector< const ICFGNode * > &out) const | SVF::SlicedICFGView | |
| getKeptNodes() const | SVF::SlicedICFGView | inline |
| getLocalSuccessors(const ICFGNode *node, const Map< const ICFGNode *, const ICFGNode * > &callsiteReturnNodes, std::vector< const ICFGNode * > &successors) | SVF::SlicedICFGView | privatestatic |
| 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 | |
| keptNodes | SVF::SlicedICFGView | private |
| keptNodesSet | SVF::SlicedICFGView | private |
| SlicedICFGView(ICFG *icfg, const OrderedSet< const ICFGNode * > &keepNodes) | SVF::SlicedICFGView |