| AbstractInterpretation() | SVF::AbstractInterpretation | protected |
| abstractTrace | SVF::AbstractInterpretation | protected |
| addDetector(std::unique_ptr< AEDetector > detector) | SVF::AbstractInterpretation | inline |
| AESparsity enum name | SVF::AbstractInterpretation | |
| allAnalyzedNodes | SVF::AbstractInterpretation | private |
| analyse() | SVF::AbstractInterpretation | |
| analyzeFromAllProgEntries() | SVF::AbstractInterpretation | |
| api | SVF::AbstractInterpretation | private |
| buildSVFG() | SVF::FullSparseAbstractInterpretation | protected |
| callGraph | SVF::AbstractInterpretation | private |
| collectProgEntryFuns() | SVF::AbstractInterpretation | |
| Dense enum value | SVF::AbstractInterpretation | |
| detectors | SVF::AbstractInterpretation | private |
| FullSparseAbstractInterpretation() | SVF::FullSparseAbstractInterpretation | inline |
| func_map | SVF::AbstractInterpretation | private |
| getAbsState(const ICFGNode *node) | SVF::AbstractInterpretation | |
| getAbsState(const Set< const ValVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractInterpretation | |
| getAbsState(const Set< const ObjVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractInterpretation | |
| getAbsState(const Set< const SVFVar * > &vars, AbstractState &result, const ICFGNode *node) | SVF::AbstractInterpretation | |
| getAbsValue(const ValVar *var, const ICFGNode *node) override | SVF::FullSparseAbstractInterpretation | virtual |
| getAbsValue(const ValVar *var, const ICFGNode *node) override | SVF::FullSparseAbstractInterpretation | virtual |
| getAbsValue(const ValVar *var, const ICFGNode *node) | SVF::FullSparseAbstractInterpretation | virtual |
| getAbsValue(const ObjVar *var, const ICFGNode *node) | SVF::FullSparseAbstractInterpretation | virtual |
| getAbsValue(const SVFVar *var, const ICFGNode *node) | SVF::FullSparseAbstractInterpretation | virtual |
| getAEInstance() | SVF::AbstractInterpretation | static |
| getAllocaInstByteSize(const AddrStmt *addr) | SVF::AbstractInterpretation | |
| getCallee(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| getDefSiteOfObjVar(const ObjVar *obj, const ICFGNode *node) const | SVF::FullSparseAbstractInterpretation | |
| getDefSiteOfValVar(const ValVar *var) const | SVF::FullSparseAbstractInterpretation | |
| getFullCycleHeadState(const ICFGCycleWTO *cycle) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| getGepByteOffset(const GepStmt *gep) | SVF::AbstractInterpretation | |
| getGepElementIndex(const GepStmt *gep) | SVF::AbstractInterpretation | |
| getGepObjAddrs(const ValVar *pointer, IntervalValue offset) | SVF::AbstractInterpretation | |
| getICFGNode(const ValVar *var) const | SVF::SemiSparseAbstractInterpretation | protected |
| getPointeeElement(const ObjVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | |
| getSVFVar(NodeID varId) const | SVF::AbstractInterpretation | inline |
| getTrace() | SVF::AbstractInterpretation | inline |
| getUseSitesOfObjVar(const ObjVar *obj, const ICFGNode *node) const | SVF::FullSparseAbstractInterpretation | |
| getUseSitesOfValVar(const ValVar *var) const | SVF::FullSparseAbstractInterpretation | |
| getUtils() | SVF::AbstractInterpretation | inlineprivate |
| handleCallSite(const ICFGNode *node) | SVF::AbstractInterpretation | privatevirtual |
| handleExtCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| handleFunCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| handleFunction(const ICFGNode *funEntry, const CallICFGNode *caller=nullptr) | SVF::AbstractInterpretation | private |
| handleGlobalNode() | SVF::AbstractInterpretation | privatevirtual |
| handleICFGNode(const ICFGNode *node) | SVF::AbstractInterpretation | private |
| handleLoopOrRecursion(const ICFGCycleWTO *cycle, const CallICFGNode *caller=nullptr) | SVF::AbstractInterpretation | privatevirtual |
| HandleRecur enum name | SVF::AbstractInterpretation | |
| handleSVFStatement(const SVFStmt *stmt) | SVF::AbstractInterpretation | privatevirtual |
| hasAbsState(const ICFGNode *node) | SVF::AbstractInterpretation | |
| hasAbsValue(const ValVar *var, const ICFGNode *node) const override | SVF::FullSparseAbstractInterpretation | virtual |
| hasAbsValue(const ValVar *var, const ICFGNode *node) const override | SVF::FullSparseAbstractInterpretation | virtual |
| hasAbsValue(const ValVar *var, const ICFGNode *node) const | SVF::FullSparseAbstractInterpretation | virtual |
| hasAbsValue(const ObjVar *var, const ICFGNode *node) const | SVF::FullSparseAbstractInterpretation | virtual |
| hasAbsValue(const SVFVar *var, const ICFGNode *node) const | SVF::FullSparseAbstractInterpretation | virtual |
| icfg | SVF::AbstractInterpretation | private |
| isBranchFeasible(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | private |
| isCmpBranchFeasible(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | private |
| isExtCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| isRecursiveCallSite(const CallICFGNode *callNode, const FunObjVar *) | SVF::AbstractInterpretation | privatevirtual |
| isRecursiveFun(const FunObjVar *fun) | SVF::AbstractInterpretation | privatevirtual |
| isSwitchBranchFeasible(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | private |
| joinStates(AbstractState &dst, const AbstractState &src) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| loadValue(const ValVar *pointer, const ICFGNode *node) | SVF::AbstractInterpretation | |
| mergeStatesFromPredecessors(const ICFGNode *node) | SVF::AbstractInterpretation | private |
| moduleName | SVF::AbstractInterpretation | private |
| narrowCycleState(const AbstractState &prev, const AbstractState &cur, const ICFGCycleWTO *cycle) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| operator[](const ICFGNode *node) | SVF::AbstractInterpretation | inline |
| preAnalysis | SVF::AbstractInterpretation | protected |
| runOnModule() | SVF::AbstractInterpretation | virtual |
| SemiSparse enum value | SVF::AbstractInterpretation | |
| SemiSparseAbstractInterpretation() | SVF::SemiSparseAbstractInterpretation | inline |
| shouldApplyNarrowing(const FunObjVar *fun) | SVF::AbstractInterpretation | protected |
| skipRecursionWithTop(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| skipRecursiveCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| Sparse enum value | SVF::AbstractInterpretation | |
| stat | SVF::AbstractInterpretation | private |
| storeValue(const ValVar *pointer, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractInterpretation | |
| svfg | SVF::FullSparseAbstractInterpretation | protected |
| svfir | SVF::AbstractInterpretation | protected |
| TOP enum value | SVF::AbstractInterpretation | |
| updateAbsState(const ICFGNode *node, const AbstractState &state) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| updateAbsValue(const ValVar *var, const AbstractValue &val, const ICFGNode *node) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| updateAbsValue(const ValVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| updateAbsValue(const ObjVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| updateAbsValue(const SVFVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| updateStateOnAddr(const AddrStmt *addr) | SVF::AbstractInterpretation | private |
| updateStateOnBinary(const BinaryOPStmt *binary) | SVF::AbstractInterpretation | private |
| updateStateOnCall(const CallPE *callPE) | SVF::AbstractInterpretation | private |
| updateStateOnCmp(const CmpStmt *cmp) | SVF::AbstractInterpretation | private |
| updateStateOnCopy(const CopyStmt *copy) | SVF::AbstractInterpretation | private |
| updateStateOnGep(const GepStmt *gep) | SVF::AbstractInterpretation | private |
| updateStateOnLoad(const LoadStmt *load) | SVF::AbstractInterpretation | private |
| updateStateOnPhi(const PhiStmt *phi) | SVF::AbstractInterpretation | private |
| updateStateOnRet(const RetPE *retPE) | SVF::AbstractInterpretation | private |
| updateStateOnSelect(const SelectStmt *select) | SVF::AbstractInterpretation | private |
| updateStateOnStore(const StoreStmt *store) | SVF::AbstractInterpretation | private |
| utils | SVF::AbstractInterpretation | private |
| WIDEN_NARROW enum value | SVF::AbstractInterpretation | |
| WIDEN_ONLY enum value | SVF::AbstractInterpretation | |
| widenCycleState(const AbstractState &prev, const AbstractState &cur, const ICFGCycleWTO *cycle) override | SVF::SemiSparseAbstractInterpretation | protectedvirtual |
| ~AbstractInterpretation() | SVF::AbstractInterpretation | virtual |
| ~FullSparseAbstractInterpretation() override | SVF::FullSparseAbstractInterpretation | |
| ~SemiSparseAbstractInterpretation() override=default | SVF::SemiSparseAbstractInterpretation | |
