Static Value-Flow Analysis
SVF::GraphReachSolver< GraphType, DPIm > Member List

This is the complete list of members for SVF::GraphReachSolver< GraphType, DPIm >, including all inherited members.

_graphSVF::GraphReachSolver< GraphType, DPIm >private
backwardTraverse(DPIm &it)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
BWProcessCurNode(const DPIm &)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
BWProcessIncomingEdge(const DPIm &item, GEDGE *edge)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
child_iterator typedefSVF::GraphReachSolver< GraphType, DPIm >
forwardTraverse(DPIm &it)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
FWProcessCurNode(const DPIm &)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
FWProcessOutgoingEdge(const DPIm &item, GEDGE *edge)SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
GEDGE typedefSVF::GraphReachSolver< GraphType, DPIm >
getNode(NodeID id) constSVF::GraphReachSolver< GraphType, DPIm >inlineprotected
getNodeIDFromItem(const DPIm &item) constSVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual
GNODE typedefSVF::GraphReachSolver< GraphType, DPIm >
graph() constSVF::GraphReachSolver< GraphType, DPIm >inlineprotected
GraphReachSolver()SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
GTraits typedefSVF::GraphReachSolver< GraphType, DPIm >
inv_child_iterator typedefSVF::GraphReachSolver< GraphType, DPIm >
InvGTraits typedefSVF::GraphReachSolver< GraphType, DPIm >
isInWorklist(DPIm &item)SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
isWorklistEmpty()SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
node_iterator typedefSVF::GraphReachSolver< GraphType, DPIm >
popFromWorklist()SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
pushIntoWorklist(DPIm &item)SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
setGraph(GraphType g)SVF::GraphReachSolver< GraphType, DPIm >inlineprotected
worklistSVF::GraphReachSolver< GraphType, DPIm >private
WorkList typedefSVF::GraphReachSolver< GraphType, DPIm >
~GraphReachSolver()SVF::GraphReachSolver< GraphType, DPIm >inlineprotectedvirtual