| AbstractInterpretation() | SVF::AbstractInterpretation | protected |
| abstractTrace | SVF::AbstractInterpretation | protected |
| addDetector(std::unique_ptr< AEDetector > detector) | SVF::AbstractInterpretation | inline |
| AEAPI | SVF::AbstractInterpretation | friend |
| AEFunEntryMode enum name | SVF::AbstractInterpretation | |
| AESparsity enum name | SVF::AbstractInterpretation | |
| AEStat | SVF::AbstractInterpretation | friend |
| allAnalyzedNodes | SVF::AbstractInterpretation | private |
| analyse() | SVF::AbstractInterpretation | |
| analyzeFromAllProgEntries() | SVF::AbstractInterpretation | |
| api | SVF::AbstractInterpretation | private |
| BufOverflowDetector | SVF::AbstractInterpretation | friend |
| callGraph | SVF::AbstractInterpretation | private |
| collectBranchRefinement(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | protected |
| collectProgEntryFuns() | SVF::AbstractInterpretation | |
| Dense enum value | SVF::AbstractInterpretation | |
| detectors | SVF::AbstractInterpretation | private |
| 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) | SVF::AbstractInterpretation | virtual |
| getAbsValue(const ObjVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| getAbsValue(const SVFVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| getAEInstance() | SVF::AbstractInterpretation | static |
| getAllocaInstByteSize(const AddrStmt *addr) | SVF::AbstractInterpretation | |
| getCallee(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| getFullCycleHeadState(const ICFGCycleWTO *cycle) | SVF::AbstractInterpretation | protectedvirtual |
| getGepByteOffset(const GepStmt *gep) | SVF::AbstractInterpretation | |
| getGepElementIndex(const GepStmt *gep) | SVF::AbstractInterpretation | |
| getGepObjAddrs(const ValVar *pointer, IntervalValue offset) | SVF::AbstractInterpretation | |
| getPointeeElement(const ObjVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | |
| getSVFVar(NodeID varId) const | SVF::AbstractInterpretation | inline |
| getTrace() | SVF::AbstractInterpretation | inline |
| 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) | SVF::AbstractInterpretation | private |
| handleGlobalNode() | SVF::AbstractInterpretation | privatevirtual |
| handleICFGNode(const ICFGNode *node) | SVF::AbstractInterpretation | private |
| handleLoopOrRecursion(const ICFGCycleWTO *cycle, const CallICFGNode *caller) | 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 | SVF::AbstractInterpretation | virtual |
| hasAbsValue(const ObjVar *var, const ICFGNode *node) const | SVF::AbstractInterpretation | virtual |
| hasAbsValue(const SVFVar *var, const ICFGNode *node) const | SVF::AbstractInterpretation | virtual |
| icfg | SVF::AbstractInterpretation | private |
| isBranchEdgeFeasible(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | protected |
| isCmpBranchEdgeFeasible(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 |
| isSwitchBranchEdgeFeasible(const IntraCFGEdge *edge, AbstractState &as) | SVF::AbstractInterpretation | private |
| joinStates(AbstractState &dst, const AbstractState &src) | SVF::AbstractInterpretation | virtual |
| loadValue(const ValVar *pointer, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| MAIN enum value | SVF::AbstractInterpretation | |
| mergeStatesFromPredecessors(const ICFGNode *node) | SVF::AbstractInterpretation | protectedvirtual |
| moduleName | SVF::AbstractInterpretation | private |
| narrowCycleState(const AbstractState &prev, const AbstractState &cur, const ICFGCycleWTO *cycle) | SVF::AbstractInterpretation | protectedvirtual |
| NO_MAIN enum value | SVF::AbstractInterpretation | |
| NullptrDerefDetector | SVF::AbstractInterpretation | friend |
| operator[](const ICFGNode *node) | SVF::AbstractInterpretation | inline |
| preAnalysis | SVF::AbstractInterpretation | protected |
| recordBranchRefinement(NodeID objId, const IntervalValue &narrowed, AbstractState &as, const ICFGNode *loadIcfg, const ICFGNode *succ) | SVF::AbstractInterpretation | protectedvirtual |
| runOnModule() | SVF::AbstractInterpretation | virtual |
| SemiSparse enum value | SVF::AbstractInterpretation | |
| 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 | virtual |
| svfir | SVF::AbstractInterpretation | protected |
| TOP enum value | SVF::AbstractInterpretation | |
| updateAbsState(const ICFGNode *node, const AbstractState &state) | SVF::AbstractInterpretation | virtual |
| updateAbsValue(const ValVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| updateAbsValue(const ObjVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| updateAbsValue(const SVFVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractInterpretation | virtual |
| 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) | SVF::AbstractInterpretation | protectedvirtual |
| ~AbstractInterpretation() | SVF::AbstractInterpretation | virtual |
