| _curSlice | SVF::SrcSnkDDA | private |
| _graph | SVF::GraphReachSolver< GraphType, DPIm > | private |
| addBackwardVisited(const SVFGNode *node) | SVF::SrcSnkDDA | inlineprotected |
| addForwardVisited(const SVFGNode *node, const DPIm &item) | SVF::SrcSnkDDA | inlineprotected |
| addSinkToCurSlice(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| addSrcToCSID(const SVFGNode *src, const CallICFGNode *cs) | SVF::LeakChecker | inlineprotected |
| addToCurBackwardSlice(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| addToCurForwardSlice(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| addToSinks(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| addToSources(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| analyze(SVFModule *module) | SVF::SrcSnkDDA | virtual |
| annotateSlice(ProgSlice *slice) | SVF::SrcSnkDDA | protected |
| backwardTraverse(DPIm &it) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| backwardVisited(const SVFGNode *node) | SVF::SrcSnkDDA | inlineprotected |
| BWProcessCurNode(const DPIm &item) override | SVF::SrcSnkDDA | inlineprotected |
| SVF::GraphReachSolver::BWProcessCurNode(const DPIm &) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| BWProcessIncomingEdge(const DPIm &item, SVFGEdge *edge) override | SVF::SrcSnkDDA | protected |
| SVF::GraphReachSolver::BWProcessIncomingEdge(const DPIm &item, GEDGE *edge) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| callgraph | SVF::SrcSnkDDA | protected |
| CallSiteSet typedef | SVF::SrcSnkDDA | |
| child_iterator typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| clearVisitedMap() | SVF::SrcSnkDDA | inlineprotected |
| CONTEXT_LEAK enum value | SVF::LeakChecker | |
| CSWorkList typedef | SVF::LeakChecker | |
| DPIm typedef | SVF::SrcSnkDDA | |
| DPImSet typedef | SVF::SrcSnkDDA | |
| dumpSlices() | SVF::SrcSnkDDA | protected |
| FileChecker() | SVF::FileChecker | inline |
| finalize() | SVF::SrcSnkDDA | inlinevirtual |
| forwardTraverse(DPIm &it) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| forwardVisited(const SVFGNode *node, const DPIm &item) | SVF::SrcSnkDDA | inlineprotected |
| FWProcessCurNode(const DPIm &item) override | SVF::SrcSnkDDA | inlineprotected |
| SVF::GraphReachSolver::FWProcessCurNode(const DPIm &) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| FWProcessOutgoingEdge(const DPIm &item, SVFGEdge *edge) override | SVF::SrcSnkDDA | protected |
| SVF::GraphReachSolver::FWProcessOutgoingEdge(const DPIm &item, GEDGE *edge) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| GEDGE typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| getBugReport() const | SVF::SrcSnkDDA | inline |
| getCallgraph() const | SVF::SrcSnkDDA | inline |
| getCurSlice() const | SVF::SrcSnkDDA | inline |
| getNode(NodeID id) const | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| getNodeIDFromItem(const DPIm &item) const | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| getPAG() const | SVF::SrcSnkDDA | inline |
| getSaberCondAllocator() const | SVF::SrcSnkDDA | inline |
| getSinks() const | SVF::SrcSnkDDA | inline |
| getSources() const | SVF::SrcSnkDDA | inline |
| getSrcCSID(const SVFGNode *src) | SVF::LeakChecker | inlineprotected |
| getSVFG() const | SVF::SrcSnkDDA | inline |
| GLOBAL_LEAK enum value | SVF::LeakChecker | |
| GNODE typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| graph() const | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| GraphReachSolver() | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| GTraits typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| initialize(SVFModule *module) | SVF::SrcSnkDDA | virtual |
| initSnks() override | SVF::LeakChecker | virtual |
| initSrcs() override | SVF::LeakChecker | virtual |
| inv_child_iterator typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| InvGTraits typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| isAllPathReachable() | SVF::SrcSnkDDA | inlineprotectedvirtual |
| isGlobalSVFGNode(const SVFGNode *node) const | SVF::SrcSnkDDA | inline |
| isInAWrapper(const SVFGNode *src, CallSiteSet &csIdSet) | SVF::SrcSnkDDA | |
| isInCurBackwardSlice(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| isInCurForwardSlice(const SVFGNode *node) | SVF::SrcSnkDDA | inline |
| isInWorklist(DPIm &item) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| isSink(const SVFGNode *node) const | SVF::SrcSnkDDA | inline |
| isSinkLikeFun(const SVFFunction *fun) | SVF::FileChecker | inlinevirtual |
| isSomePathReachable() | SVF::SrcSnkDDA | inlineprotectedvirtual |
| isSource(const SVFGNode *node) const | SVF::SrcSnkDDA | inline |
| isSourceLikeFun(const SVFFunction *fun) | SVF::FileChecker | inlinevirtual |
| isWorklistEmpty() | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| LEAK_TYPE enum name | SVF::LeakChecker | |
| LeakChecker() | SVF::LeakChecker | inline |
| memSSA | SVF::SrcSnkDDA | protected |
| NEVER_FREE_LEAK enum value | SVF::LeakChecker | |
| node_iterator typedef | SVF::GraphReachSolver< GraphType, DPIm > | |
| nodeToDPItemsMap | SVF::SrcSnkDDA | private |
| PATH_LEAK enum value | SVF::LeakChecker | |
| popFromWorklist() | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| printZ3Stat() | SVF::SrcSnkDDA | protected |
| pushIntoWorklist(DPIm &item) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| report | SVF::SrcSnkDDA | protected |
| reportBug(ProgSlice *slice) | SVF::FileChecker | virtual |
| runOnModule(SVFIR *pag) | SVF::FileChecker | inlinevirtual |
| saberCondAllocator | SVF::SrcSnkDDA | private |
| setCurSlice(const SVFGNode *src) | SVF::SrcSnkDDA | virtual |
| setGraph(GraphType g) | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotected |
| sinks | SVF::SrcSnkDDA | private |
| sinksBegin() const | SVF::SrcSnkDDA | inline |
| sinksEnd() const | SVF::SrcSnkDDA | inline |
| sources | SVF::SrcSnkDDA | private |
| sourcesBegin() const | SVF::SrcSnkDDA | inline |
| sourcesEnd() const | SVF::SrcSnkDDA | inline |
| SrcSnkDDA() | SVF::SrcSnkDDA | inline |
| srcToCSIDMap | SVF::LeakChecker | private |
| svfg | SVF::SrcSnkDDA | protected |
| SVFGNodeBS typedef | SVF::LeakChecker | |
| SVFGNodeSet typedef | SVF::SrcSnkDDA | |
| SVFGNodeSetIter typedef | SVF::SrcSnkDDA | |
| SVFGNodeToCSIDMap typedef | SVF::LeakChecker | |
| SVFGNodeToDPItemsMap typedef | SVF::SrcSnkDDA | |
| SVFGNodeToSliceMap typedef | SVF::SrcSnkDDA | |
| testsValidation(const ProgSlice *slice) | SVF::LeakChecker | protected |
| validateExpectedFailureTests(const SVFGNode *source, const SVFFunction *fun) | SVF::LeakChecker | protected |
| validateSuccessTests(const SVFGNode *source, const SVFFunction *fun) | SVF::LeakChecker | protected |
| visitedSet | SVF::SrcSnkDDA | private |
| worklist | SVF::GraphReachSolver< GraphType, DPIm > | private |
| WorkList typedef | SVF::LeakChecker | |
| ~FileChecker() | SVF::FileChecker | inlinevirtual |
| ~GraphReachSolver() | SVF::GraphReachSolver< GraphType, DPIm > | inlineprotectedvirtual |
| ~LeakChecker() | SVF::LeakChecker | inlinevirtual |
| ~SrcSnkDDA() override | SVF::SrcSnkDDA | inline |
