Static Value-Flow Analysis
SVF::CFLSolver Member List

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

CFLSolver(CFLGraph *_graph, CFGrammar *_grammar)SVF::CFLSolverinline
getGrammar() constSVF::CFLSolverinline
getGraph() constSVF::CFLSolverinline
grammarSVF::CFLSolverprotected
graphSVF::CFLSolverprotected
initialize()SVF::CFLSolvervirtual
isInWorklist(const CFLEdge *item)SVF::CFLSolverinlineprotected
isWorklistEmpty()SVF::CFLSolverinlinevirtual
numOfChecksSVF::CFLSolverstatic
popFromWorklist()SVF::CFLSolverinlineprotected
processCFLEdge(const CFLEdge *Y_edge)SVF::CFLSolvervirtual
Production typedefSVF::CFLSolver
pushIntoWorklist(const CFLEdge *item)SVF::CFLSolverinlinevirtual
solve()SVF::CFLSolvervirtual
Symbol typedefSVF::CFLSolver
worklistSVF::CFLSolverprotected
WorkList typedefSVF::CFLSolver
~CFLSolver()SVF::CFLSolverinlinevirtual
Generated by doxygen 1.9.1