| alias(const SVFValue *V1, const SVFValue *V2)=0 | SVF::PointerAnalysis | pure virtual |
| alias(NodeID node1, NodeID node2)=0 | SVF::PointerAnalysis | pure virtual |
| alias_validation | SVF::PointerAnalysis | protected |
| aliasTestFailMayAlias | SVF::PointerAnalysis | static |
| aliasTestFailMayAliasMangled | SVF::PointerAnalysis | static |
| aliasTestFailNoAlias | SVF::PointerAnalysis | static |
| aliasTestFailNoAliasMangled | SVF::PointerAnalysis | static |
| aliasTestMayAlias | SVF::PointerAnalysis | static |
| aliasTestMayAliasMangled | SVF::PointerAnalysis | static |
| aliasTestMustAlias | SVF::PointerAnalysis | static |
| aliasTestMustAliasMangled | SVF::PointerAnalysis | static |
| aliasTestNoAlias | SVF::PointerAnalysis | static |
| aliasTestNoAliasMangled | SVF::PointerAnalysis | static |
| aliasTestPartialAlias | SVF::PointerAnalysis | static |
| aliasTestPartialAliasMangled | SVF::PointerAnalysis | static |
| analyze()=0 | SVF::PointerAnalysis | pure virtual |
| Andersen_BASE enum value | SVF::PointerAnalysis | |
| Andersen_WPA enum value | SVF::PointerAnalysis | |
| AndersenSCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenSFR_WPA enum value | SVF::PointerAnalysis | |
| AndersenWaveDiff_WPA enum value | SVF::PointerAnalysis | |
| BaseImpl enum value | SVF::PointerAnalysis | |
| BVDataImpl enum value | SVF::PointerAnalysis | |
| CallEdgeMap typedef | SVF::PointerAnalysis | |
| callgraph | SVF::PointerAnalysis | protected |
| CallGraphSCC typedef | SVF::PointerAnalysis | |
| callGraphSCC | SVF::PointerAnalysis | protected |
| callGraphSCCDetection() | SVF::PointerAnalysis | inline |
| CallSiteSet typedef | SVF::PointerAnalysis | |
| CallSiteToFunPtrMap typedef | SVF::PointerAnalysis | |
| CFLFICI_WPA enum value | SVF::PointerAnalysis | |
| CFLFSCI_WPA enum value | SVF::PointerAnalysis | |
| CFLFSCS_WPA enum value | SVF::PointerAnalysis | |
| chgraph | SVF::PointerAnalysis | protected |
| computeDDAPts(NodeID) | SVF::PointerAnalysis | inlinevirtual |
| CondImpl enum value | SVF::PointerAnalysis | |
| connectVCallToVFns(const CallICFGNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges) | SVF::PointerAnalysis | |
| containBlackHoleNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| containConstantNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| CSCallString_WPA enum value | SVF::PointerAnalysis | |
| CSSummary_WPA enum value | SVF::PointerAnalysis | |
| Cxt_DDA enum value | SVF::PointerAnalysis | |
| Default_PTA enum value | SVF::PointerAnalysis | |
| destroy() | SVF::PointerAnalysis | private |
| disablePrintStat() | SVF::PointerAnalysis | inline |
| dumpAllPts() | SVF::PointerAnalysis | inlinevirtual |
| dumpAllTypes() | SVF::PointerAnalysis | |
| dumpCPts() | SVF::PointerAnalysis | inlinevirtual |
| dumpPts(NodeID ptr, const PointsTo &pts) | SVF::PointerAnalysis | virtual |
| dumpStat() | SVF::PointerAnalysis | |
| dumpTopLevelPtsTo() | SVF::PointerAnalysis | inlinevirtual |
| FieldS_DDA enum value | SVF::PointerAnalysis | |
| finalize() | SVF::PointerAnalysis | virtual |
| FlowS_DDA enum value | SVF::PointerAnalysis | |
| FSCS_WPA enum value | SVF::PointerAnalysis | |
| FSDATAFLOW_WPA enum value | SVF::PointerAnalysis | |
| FSSPARSE_WPA enum value | SVF::PointerAnalysis | |
| FunctionSet typedef | SVF::PointerAnalysis | |
| getAllFieldsObjVars(NodeID id) | SVF::PointerAnalysis | inlinevirtual |
| getAllValidPtrs() | SVF::PointerAnalysis | inline |
| getAnalysisTy() const | SVF::PointerAnalysis | inline |
| getBaseObjVar(NodeID id) | SVF::PointerAnalysis | inline |
| getCallGraph() const | SVF::PointerAnalysis | inline |
| getCallGraphSCC() const | SVF::PointerAnalysis | inline |
| getCallGraphSCCRepNode(NodeID id) const | SVF::PointerAnalysis | inline |
| getCHGraph() const | SVF::PointerAnalysis | inline |
| getFIObjVar(NodeID id) | SVF::PointerAnalysis | inline |
| getFunPtr(const CallICFGNode *cs) const | SVF::PointerAnalysis | inlineprotected |
| getGepObjVar(NodeID id, const APOffset &ap) | SVF::PointerAnalysis | inline |
| getICFG() const | SVF::PointerAnalysis | inline |
| getImplTy() const | SVF::PointerAnalysis | inline |
| getIndCallMap() | SVF::PointerAnalysis | inline |
| getIndCSCallees(const CallICFGNode *cs) const | SVF::PointerAnalysis | inline |
| getIndirectCallsites() const | SVF::PointerAnalysis | inlineprotected |
| getModule() const | SVF::PointerAnalysis | inline |
| getNumOfResolvedIndCallEdge() const | SVF::PointerAnalysis | inline |
| getPAG() const | SVF::PointerAnalysis | inline |
| getPts(NodeID ptr)=0 | SVF::PointerAnalysis | pure virtual |
| getRevPts(NodeID nodeId)=0 | SVF::PointerAnalysis | pure virtual |
| getStat() const | SVF::PointerAnalysis | inline |
| getVFnsFromCHA(const CallICFGNode *cs, VFunSet &vfns) | SVF::PointerAnalysis | |
| getVFnsFromPts(const CallICFGNode *cs, const PointsTo &target, VFunSet &vfns) | SVF::PointerAnalysis | |
| hasIndCSCallees(const CallICFGNode *cs) const | SVF::PointerAnalysis | inline |
| icfg | SVF::PointerAnalysis | protected |
| initialize() | SVF::PointerAnalysis | virtual |
| inSameCallGraphSCC(const SVFFunction *fun1, const SVFFunction *fun2) | SVF::PointerAnalysis | inline |
| isArrayMemObj(NodeID id) const | SVF::PointerAnalysis | inline |
| isBlkObjOrConstantObj(NodeID ptd) const | SVF::PointerAnalysis | inlinevirtual |
| isFieldInsensitive(NodeID id) const | SVF::PointerAnalysis | inline |
| isFIObjNode(NodeID id) const | SVF::PointerAnalysis | inline |
| isHeapMemObj(NodeID id) const | SVF::PointerAnalysis | inline |
| isInRecursion(const SVFFunction *fun) const | SVF::PointerAnalysis | inline |
| isLocalVarInRecursiveFun(NodeID id) const | SVF::PointerAnalysis | |
| OnTheFlyIterBudgetForStat | SVF::PointerAnalysis | protected |
| pag | SVF::PointerAnalysis | protectedstatic |
| PathS_DDA enum value | SVF::PointerAnalysis | |
| PointerAnalysis(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true) | SVF::PointerAnalysis | |
| print_stat | SVF::PointerAnalysis | protected |
| printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets) | SVF::PointerAnalysis | |
| printIndCSTargets() | SVF::PointerAnalysis | |
| printStat() | SVF::PointerAnalysis | inline |
| PTAImplTy enum name | SVF::PointerAnalysis | |
| ptaImplTy | SVF::PointerAnalysis | protected |
| PTAName() const | SVF::PointerAnalysis | inlinevirtual |
| PTATY enum name | SVF::PointerAnalysis | |
| ptaTy | SVF::PointerAnalysis | protected |
| resetObjFieldSensitive() | SVF::PointerAnalysis | protected |
| resolveCPPIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges) | SVF::PointerAnalysis | virtual |
| resolveIndCalls(const CallICFGNode *cs, const PointsTo &target, CallEdgeMap &newEdges) | SVF::PointerAnalysis | virtual |
| setObjFieldInsensitive(NodeID id) | SVF::PointerAnalysis | inline |
| stat | SVF::PointerAnalysis | protected |
| Steensgaard_WPA enum value | SVF::PointerAnalysis | |
| svfMod | SVF::PointerAnalysis | protected |
| TypeCPP_WPA enum value | SVF::PointerAnalysis | |
| validateExpectedFailureTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateSuccessTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateTests() | SVF::PointerAnalysis | protectedvirtual |
| VFS_WPA enum value | SVF::PointerAnalysis | |
| VFunSet typedef | SVF::PointerAnalysis | |
| VTableSet typedef | SVF::PointerAnalysis | |
| ~PointerAnalysis() | SVF::PointerAnalysis | virtual |
