| allocate(const SVFModule *module) | SVF::SaberCondAllocator | |
| allocateForBB(const SVFBasicBlock &bb) | SVF::SaberCondAllocator | privatevirtual |
| BasicBlockSet typedef | SVF::SaberCondAllocator | |
| BBCondMap typedef | SVF::SaberCondAllocator | |
| bbConds | SVF::SaberCondAllocator | protected |
| BBToCondMap typedef | SVF::SaberCondAllocator | |
| bbToCondMap | SVF::SaberCondAllocator | private |
| CFWorkList typedef | SVF::SaberCondAllocator | |
| clearCFCond() | SVF::SaberCondAllocator | inline |
| collectBBCallingProgExit(const SVFBasicBlock &bb) | SVF::SaberCondAllocator | private |
| ComputeInterCallVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst, const SVFBasicBlock *callBB) | SVF::SaberCondAllocator | virtual |
| ComputeInterRetVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst, const SVFBasicBlock *retBB) | SVF::SaberCondAllocator | virtual |
| ComputeIntraVFGGuard(const SVFBasicBlock *src, const SVFBasicBlock *dst) | SVF::SaberCondAllocator | virtual |
| condAnd(const Condition &lhs, const Condition &rhs) | SVF::SaberCondAllocator | inline |
| Condition typedef | SVF::SaberCondAllocator | |
| conditionVec | SVF::SaberCondAllocator | private |
| condNeg(const Condition &cond) | SVF::SaberCondAllocator | inline |
| condOr(const Condition &lhs, const Condition &rhs) | SVF::SaberCondAllocator | inline |
| CondPosMap typedef | SVF::SaberCondAllocator | |
| curEvalSVFGNode | SVF::SaberCondAllocator | private |
| destroy() | SVF::SaberCondAllocator | inlineprivate |
| dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const | SVF::SaberCondAllocator | inline |
| dumpCond(const Condition &cond) const | SVF::SaberCondAllocator | inline |
| evaluateBranchCond(const SVFBasicBlock *bb, const SVFBasicBlock *succ) | SVF::SaberCondAllocator | private |
| evaluateLoopExitBranch(const SVFBasicBlock *bb, const SVFBasicBlock *succ) | SVF::SaberCondAllocator | private |
| evaluateProgExit(const BranchStmt *branchStmt, const SVFBasicBlock *succ) | SVF::SaberCondAllocator | private |
| evaluateTestNullLikeExpr(const BranchStmt *branchStmt, const SVFBasicBlock *succ) | SVF::SaberCondAllocator | private |
| exactCondElem(const Condition &cond) | SVF::SaberCondAllocator | inline |
| extractSubConds(const Condition &condition, NodeBS &support) const | SVF::SaberCondAllocator | private |
| funToExitBBsMap | SVF::SaberCondAllocator | private |
| FunToExitBBsMap typedef | SVF::SaberCondAllocator | |
| getBranchCond(const SVFBasicBlock *bb, const SVFBasicBlock *succ) const | SVF::SaberCondAllocator | private |
| getCFCond(const SVFBasicBlock *bb) const | SVF::SaberCondAllocator | inline |
| getCondInst(u32_t id) const | SVF::SaberCondAllocator | inline |
| getCondNum() | SVF::SaberCondAllocator | inline |
| getCurEvalSVFGNode() const | SVF::SaberCondAllocator | inline |
| getEvalBrCond(const SVFBasicBlock *bb, const SVFBasicBlock *succ) | SVF::SaberCondAllocator | private |
| getFalseCond() const | SVF::SaberCondAllocator | inline |
| getICFG() const | SVF::SaberCondAllocator | inline |
| getMemUsage() | SVF::SaberCondAllocator | inline |
| getPHIComplementCond(const SVFBasicBlock *BB1, const SVFBasicBlock *BB2, const SVFBasicBlock *BB0) | SVF::SaberCondAllocator | virtual |
| getRemovedSUVFEdges() | SVF::SaberCondAllocator | inline |
| getTrueCond() const | SVF::SaberCondAllocator | inline |
| idToTermInstMap | SVF::SaberCondAllocator | private |
| IndexToTermInstMap typedef | SVF::SaberCondAllocator | |
| isAllPathReachable(Condition &condition) | SVF::SaberCondAllocator | inline |
| isBBCallsProgExit(const SVFBasicBlock *bb) | SVF::SaberCondAllocator | private |
| isEQCmp(const CmpStmt *cmp) const | SVF::SaberCondAllocator | private |
| isEquivalentBranchCond(const Condition &lhs, const Condition &rhs) const | SVF::SaberCondAllocator | |
| isNECmp(const CmpStmt *cmp) const | SVF::SaberCondAllocator | private |
| isNegCond(u32_t id) const | SVF::SaberCondAllocator | inline |
| isSatisfiable(const Condition &condition) | SVF::SaberCondAllocator | |
| isTestContainsNullAndTheValue(const CmpStmt *cmp) const | SVF::SaberCondAllocator | private |
| isTestNotNullExpr(const ICFGNode *test) const | SVF::SaberCondAllocator | private |
| isTestNullExpr(const ICFGNode *test) const | SVF::SaberCondAllocator | private |
| negConds | SVF::SaberCondAllocator | private |
| newCond(const ICFGNode *inst) | SVF::SaberCondAllocator | |
| postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const | SVF::SaberCondAllocator | inline |
| printPathCond() | SVF::SaberCondAllocator | |
| removedSUVFEdges | SVF::SaberCondAllocator | private |
| SaberCondAllocator() | SVF::SaberCondAllocator | |
| setBranchCond(const SVFBasicBlock *bb, const SVFBasicBlock *succ, const Condition &cond) | SVF::SaberCondAllocator | private |
| setCFCond(const SVFBasicBlock *bb, const Condition &cond) | SVF::SaberCondAllocator | inline |
| setCondInst(const Condition &condition, const ICFGNode *inst) | SVF::SaberCondAllocator | inline |
| setCurEvalSVFGNode(const SVFGNode *node) | SVF::SaberCondAllocator | inline |
| setNegCondInst(const Condition &condition, const ICFGNode *inst) | SVF::SaberCondAllocator | inline |
| SVFGNodeToSVFGNodeSetMap typedef | SVF::SaberCondAllocator | |
| totalCondNum | SVF::SaberCondAllocator | privatestatic |
| ~SaberCondAllocator() | SVF::SaberCondAllocator | inlinevirtual |
