| _reverse_predicate | SVF::AbstractInterpretation | private |
| _switch_lhsrhs_predicate | SVF::AbstractInterpretation | private |
| AbstractInterpretation() | SVF::AbstractInterpretation | |
| abstractTrace | SVF::AbstractInterpretation | private |
| addDetector(std::unique_ptr< AEDetector > detector) | SVF::AbstractInterpretation | inline |
| AEAPI | SVF::AbstractInterpretation | friend |
| 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 | |
| detectors | SVF::AbstractInterpretation | private |
| func_map | SVF::AbstractInterpretation | private |
| getAbstractState(const ICFGNode *node) | SVF::AbstractInterpretation | |
| getAbstractState(const ICFGNode *node, const Set< const ValVar * > &vars, AbstractState &result) | SVF::AbstractInterpretation | |
| getAbstractState(const ICFGNode *node, const Set< const ObjVar * > &vars, AbstractState &result) | SVF::AbstractInterpretation | |
| getAbstractState(const ICFGNode *node, const Set< const SVFVar * > &vars, AbstractState &result) | SVF::AbstractInterpretation | |
| getAbstractValue(const ValVar *var) | SVF::AbstractInterpretation | |
| getAbstractValue(const ICFGNode *node, const ObjVar *var) | SVF::AbstractInterpretation | |
| getAbstractValue(const ICFGNode *node, const SVFVar *var) | SVF::AbstractInterpretation | |
| getAEInstance() | SVF::AbstractInterpretation | inlinestatic |
| getCallee(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| 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 | |
| handleRecursiveCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | privatevirtual |
| handleSVFStatement(const SVFStmt *stmt) | SVF::AbstractInterpretation | privatevirtual |
| hasAbstractState(const ICFGNode *node) | SVF::AbstractInterpretation | |
| icfg | SVF::AbstractInterpretation | private |
| isBranchFeasible(const IntraCFGEdge *intraEdge, AbstractState &as) | SVF::AbstractInterpretation | private |
| isCmpBranchFeasible(const CmpStmt *cmpStmt, s64_t succ, 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 SVFVar *var, s64_t succ, AbstractState &as) | SVF::AbstractInterpretation | private |
| mergeStatesFromPredecessors(const ICFGNode *node) | SVF::AbstractInterpretation | private |
| moduleName | 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 |
| setTopToObjInRecursion(const CallICFGNode *callnode) | SVF::AbstractInterpretation | privatevirtual |
| shouldApplyNarrowing(const FunObjVar *fun) | SVF::AbstractInterpretation | private |
| skipRecursiveCall(const CallICFGNode *callNode) | SVF::AbstractInterpretation | private |
| stat | SVF::AbstractInterpretation | private |
| svfir | SVF::AbstractInterpretation | private |
| TOP enum value | SVF::AbstractInterpretation | |
| updateAbstractValue(const ValVar *var, const AbstractValue &val) | SVF::AbstractInterpretation | |
| updateAbstractValue(const ICFGNode *node, const ObjVar *var, const AbstractValue &val) | SVF::AbstractInterpretation | |
| updateAbstractValue(const ICFGNode *node, const SVFVar *var, const AbstractValue &val) | SVF::AbstractInterpretation | |
| 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 | |
| ~AbstractInterpretation() | SVF::AbstractInterpretation | virtual |
