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

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

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