| AbstractInterpretation() | SVF::AbstractInterpretation | |
| addDetector(std::unique_ptr< AEDetector > detector) | SVF::AbstractInterpretation | inline |
| AEAPI | SVF::AbstractInterpretation | friend |
| 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 |
| collectProgEntryFuns() | SVF::AbstractInterpretation | |
| Dense enum value | SVF::AbstractInterpretation | |
| detectors | SVF::AbstractInterpretation | private |
| func_map | SVF::AbstractInterpretation | private |
| getAbsState(const ICFGNode *node) const | SVF::AbstractInterpretation | inline |
| getAbsValue(const SVFVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | inline |
| getAEInstance() | SVF::AbstractInterpretation | inlinestatic |
| getCallee(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| getFullCycleHeadState(const ICFGCycleWTO *cycle) | SVF::AbstractInterpretation | private |
| getStateMgr() | SVF::AbstractInterpretation | inline |
| getSVFVar(NodeID varId) const | 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=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 | inline |
| hasAbsValue(const SVFVar *var, const ICFGNode *node) | SVF::AbstractInterpretation | inline |
| 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 |
| mergeStatesFromPredecessors(const ICFGNode *node) | SVF::AbstractInterpretation | private |
| moduleName | SVF::AbstractInterpretation | private |
| narrowCycleState(const AbstractState &prev, const AbstractState &cur, const ICFGCycleWTO *cycle) | SVF::AbstractInterpretation | private |
| NullptrDerefDetector | SVF::AbstractInterpretation | friend |
| preAnalysis | SVF::AbstractInterpretation | private |
| propagateObjVarAbsVal(const ObjVar *var, const ICFGNode *defSite) | SVF::AbstractInterpretation | |
| runOnModule(ICFG *icfg) | SVF::AbstractInterpretation | virtual |
| SemiSparse enum value | SVF::AbstractInterpretation | |
| shouldApplyNarrowing(const FunObjVar *fun) | SVF::AbstractInterpretation | private |
| skipRecursionWithTop(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| skipRecursiveCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| Sparse enum value | SVF::AbstractInterpretation | |
| stat | SVF::AbstractInterpretation | private |
| svfir | SVF::AbstractInterpretation | private |
| svfStateMgr | SVF::AbstractInterpretation | private |
| TOP enum value | SVF::AbstractInterpretation | |
| updateAbsState(const ICFGNode *node, const AbstractState &state) | SVF::AbstractInterpretation | inline |
| updateAbsValue(const SVFVar *var, const AbstractValue &val, const ICFGNode *node) | SVF::AbstractInterpretation | inline |
| 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 | private |
| ~AbstractInterpretation() | SVF::AbstractInterpretation | virtual |
