| _curSVFGNode | SVF::ProgSlice | private |
| addToBackwardSlice(const SVFGNode *node) | SVF::ProgSlice | inline |
| addToForwardSlice(const SVFGNode *node) | SVF::ProgSlice | inline |
| addToSinks(const SVFGNode *node) | SVF::ProgSlice | inline |
| AllPathReachableSolve() | SVF::ProgSlice | |
| backwardslice | SVF::ProgSlice | private |
| backwardSliceBegin() const | SVF::ProgSlice | inline |
| backwardSliceEnd() const | SVF::ProgSlice | inline |
| CFWorkList typedef | SVF::ProgSlice | |
| clearCFCond() | SVF::ProgSlice | inlineprotected |
| ComputeInterCallVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst, const SVFBasicBlock *callBB) | SVF::ProgSlice | inlineprotected |
| ComputeInterRetVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst, const SVFBasicBlock *retBB) | SVF::ProgSlice | inlineprotected |
| ComputeIntraVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst) | SVF::ProgSlice | inlineprotected |
| computeInvalidCondFromRemovedSUVFEdge(const SVFGNode *cur) | SVF::ProgSlice | protected |
| condAnd(const Condition &lhs, const Condition &rhs) | SVF::ProgSlice | inline |
| Condition typedef | SVF::ProgSlice | |
| condNeg(const Condition &cond) | SVF::ProgSlice | inline |
| condOr(const Condition &lhs, const Condition &rhs) | SVF::ProgSlice | inline |
| destroy() | SVF::ProgSlice | protected |
| dumpCond(const Condition &cond) const | SVF::ProgSlice | inline |
| evalFinalCond() const | SVF::ProgSlice | |
| evalFinalCond2Event(GenericBug::EventStack &eventStack) const | SVF::ProgSlice | |
| finalCond | SVF::ProgSlice | private |
| forwardslice | SVF::ProgSlice | private |
| forwardSliceBegin() const | SVF::ProgSlice | inline |
| forwardSliceEnd() const | SVF::ProgSlice | inline |
| fullReachable | SVF::ProgSlice | private |
| getBackwardSliceSize() const | SVF::ProgSlice | inline |
| getCallSite(const SVFGEdge *edge) const | SVF::ProgSlice | |
| getCurSVFGNode() const | SVF::ProgSlice | inlineprotected |
| getFalseCond() const | SVF::ProgSlice | inline |
| getForwardSliceSize() const | SVF::ProgSlice | inline |
| getRemovedSUVFEdges() const | SVF::ProgSlice | inlineprotected |
| getRetSite(const SVFGEdge *edge) const | SVF::ProgSlice | |
| getSinks() const | SVF::ProgSlice | inline |
| getSource() const | SVF::ProgSlice | inline |
| getSVFG() const | SVF::ProgSlice | inlineprotected |
| getSVFGNodeBB(const SVFGNode *node) const | SVF::ProgSlice | inlineprotected |
| getTrueCond() const | SVF::ProgSlice | inline |
| getVFCond(const SVFGNode *node) const | SVF::ProgSlice | inlineprotected |
| inBackwardSlice(const SVFGNode *node) | SVF::ProgSlice | inline |
| inForwardSlice(const SVFGNode *node) | SVF::ProgSlice | inline |
| isAllReachable() const | SVF::ProgSlice | inline |
| isEquivalentBranchCond(const Condition &lhs, const Condition &rhs) const | SVF::ProgSlice | inlineprotected |
| isPartialReachable() const | SVF::ProgSlice | inline |
| isReachGlobal() const | SVF::ProgSlice | inline |
| isSatisfiableForAll() | SVF::ProgSlice | |
| isSatisfiableForPairs() | SVF::ProgSlice | |
| partialReachable | SVF::ProgSlice | private |
| pathAllocator | SVF::ProgSlice | private |
| ProgSlice(const SVFGNode *src, SaberCondAllocator *pa, const SVFG *graph) | SVF::ProgSlice | inline |
| reachGlob | SVF::ProgSlice | private |
| root | SVF::ProgSlice | private |
| setAllReachable() | SVF::ProgSlice | inline |
| setCurSVFGNode(const SVFGNode *node) | SVF::ProgSlice | inlineprotected |
| setFinalCond(const Condition &cond) | SVF::ProgSlice | inlineprotected |
| setPartialReachable() | SVF::ProgSlice | inline |
| setReachGlobal() | SVF::ProgSlice | inline |
| setVFCond(const SVFGNode *node, const Condition &cond) | SVF::ProgSlice | inlineprotected |
| sinks | SVF::ProgSlice | private |
| sinksBegin() const | SVF::ProgSlice | inline |
| sinksEnd() const | SVF::ProgSlice | inline |
| svfg | SVF::ProgSlice | private |
| SVFGNodeSet typedef | SVF::ProgSlice | |
| SVFGNodeSetIter typedef | SVF::ProgSlice | |
| svfgNodeToCondMap | SVF::ProgSlice | private |
| SVFGNodeToCondMap typedef | SVF::ProgSlice | |
| SVFGNodeToSVFGNodeSetMap typedef | SVF::ProgSlice | |
| VFWorkList typedef | SVF::ProgSlice | |
| ~ProgSlice() | SVF::ProgSlice | inlinevirtual |
