| _graph | SVF::WPASolver< GraphType > | protected |
| addCopyEdge(NodeID src, NodeID dst) | SVF::AndersenSCD | protectedvirtual |
| addPts(NodeID id, NodeID ptd) | SVF::BVDataPTAImpl | inlinevirtual |
| addSccCandidate(NodeID nodeId) | SVF::AndersenSCD | inlineprotected |
| alias(const SVFVar *V1, const SVFVar *V2) override | SVF::BVDataPTAImpl | inlinevirtual |
| alias(NodeID node1, NodeID node2) override | SVF::BVDataPTAImpl | virtual |
| alias(const PointsTo &pts1, const PointsTo &pts2) | SVF::BVDataPTAImpl | 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() override | SVF::AndersenBase | virtual |
| Andersen(SVFIR *_pag, PTATY type=Andersen_WPA, bool alias_check=true) | SVF::Andersen | inline |
| Andersen_BASE enum value | SVF::PointerAnalysis | |
| Andersen_WPA enum value | SVF::PointerAnalysis | |
| AndersenBase(SVFIR *_pag, PTATY type=Andersen_BASE, bool alias_check=true) | SVF::AndersenBase | inline |
| AndersenSCD(SVFIR *_pag, PTATY type=AndersenSCD_WPA) | SVF::AndersenSCD | inline |
| AndersenSCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenSFR(SVFIR *_pag, PTATY type=AndersenSFR_WPA) | SVF::AndersenSFR | inline |
| AndersenSFR_WPA enum value | SVF::PointerAnalysis | |
| AndersenWaveDiff_WPA enum value | SVF::PointerAnalysis | |
| AveragePointsToSetSize | SVF::AndersenBase | static |
| BaseImpl enum value | SVF::PointerAnalysis | |
| BVDataImpl enum value | SVF::PointerAnalysis | |
| BVDataPTAImpl(SVFIR *pag, PointerAnalysis::PTATY type, bool alias_check=true) | SVF::BVDataPTAImpl | |
| CallEdgeMap typedef | SVF::PointerAnalysis | |
| callgraph | SVF::PointerAnalysis | protected |
| callGraphSCC | SVF::PointerAnalysis | protected |
| CallGraphSCC typedef | SVF::PointerAnalysis | |
| callGraphSCCDetection() | SVF::PointerAnalysis | inline |
| callsite2DummyValPN | SVF::Andersen | protected |
| CallSite2DummyValPN typedef | SVF::AndersenBase | |
| 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 | |
| CGSCC typedef | SVF::Andersen | |
| chgraph | SVF::PointerAnalysis | protected |
| child_iterator typedef | SVF::WPASolver< GraphType > | |
| classof(const Andersen *) | SVF::Andersen | inlinestatic |
| classof(const PointerAnalysis *pta) | SVF::Andersen | inlinestatic |
| SVF::AndersenBase::classof(const AndersenBase *) | SVF::AndersenBase | inlinestatic |
| cleanConsCG(NodeID id) | SVF::AndersenBase | |
| clearAllPts() | SVF::BVDataPTAImpl | inlinevirtual |
| clearFullPts(NodeID id) | SVF::BVDataPTAImpl | inlinevirtual |
| clearPropaPts(NodeID src) | SVF::Andersen | inlineprotected |
| clearPts(NodeID id, NodeID element) | SVF::BVDataPTAImpl | inlinevirtual |
| cluster(void) const | SVF::Andersen | protectedvirtual |
| collapseField(NodeID nodeId) | SVF::Andersen | protected |
| collapseFields() | SVF::Andersen | inlineprotectedvirtual |
| collapseNodePts(NodeID nodeId) | SVF::Andersen | protected |
| collapsePWCNode(NodeID nodeId) | SVF::Andersen | inlineprotectedvirtual |
| computeDDAPts(NodeID) | SVF::PointerAnalysis | inlinevirtual |
| computeDiffPts(NodeID id) | SVF::Andersen | inlineprotectedvirtual |
| CondImpl enum value | SVF::PointerAnalysis | |
| connectCaller2CalleeParams(const CallICFGNode *cs, const FunObjVar *F, NodePairSet &cpySrcNodes) | SVF::AndersenBase | virtual |
| connectCaller2ForkedFunParams(const CallICFGNode *cs, const FunObjVar *F, NodePairSet &cpySrcNodes) | SVF::AndersenBase | virtual |
| connectVCallToVFns(const CallICFGNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges) | SVF::PointerAnalysis | |
| consCG | SVF::AndersenBase | protected |
| containBlackHoleNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| containConstantNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| createAndersenSCD(SVFIR *_pag) | SVF::AndersenSCD | inlinestatic |
| createAndersenSFR(SVFIR *_pag) | SVF::AndersenSFR | inlinestatic |
| csc | SVF::AndersenSFR | private |
| 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 |
| DFPTDataTy typedef | SVF::BVDataPTAImpl | |
| DiffPTDataTy typedef | SVF::BVDataPTAImpl | |
| disablePrintStat() | SVF::PointerAnalysis | inline |
| dumpAllPts() override | SVF::BVDataPTAImpl | virtual |
| dumpAllTypes() | SVF::PointerAnalysis | |
| dumpCPts() override | SVF::BVDataPTAImpl | inlinevirtual |
| dumpPts(NodeID ptr, const PointsTo &pts) | SVF::PointerAnalysis | virtual |
| dumpStat() | SVF::PointerAnalysis | |
| dumpTopLevelPtsTo() | SVF::Andersen | virtual |
| expandFIObjs(const PointsTo &pts, PointsTo &expandedPts) | SVF::BVDataPTAImpl | virtual |
| expandFIObjs(const NodeBS &pts, NodeBS &expandedPts) | SVF::BVDataPTAImpl | virtual |
| fieldExpand(NodeSet &initials, APOffset offset, NodeBS &strides, PointsTo &expandPts) | SVF::AndersenSFR | protected |
| FieldReps typedef | SVF::AndersenSFR | |
| fieldReps | SVF::AndersenSFR | private |
| FieldS_DDA enum value | SVF::PointerAnalysis | |
| finalize() | SVF::Andersen | 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 | |
| GEDGE typedef | SVF::WPASolver< GraphType > | |
| 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 |
| getConstraintGraph() | SVF::AndersenBase | inline |
| getDFPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getDiffPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getDiffPts(NodeID id) | SVF::Andersen | inlineprotectedvirtual |
| 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 |
| getMutDFPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getNumOfResolvedIndCallEdge() const | SVF::PointerAnalysis | inline |
| getPAG() const | SVF::PointerAnalysis | inline |
| getPtCache() | SVF::BVDataPTAImpl | inline |
| getPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getPts(NodeID id) | SVF::Andersen | inlinevirtual |
| getRevPts(NodeID nodeId) override | SVF::BVDataPTAImpl | inlinevirtual |
| getSCCDetector() const | SVF::WPASolver< GraphType > | inlineprotected |
| getStat() const | SVF::PointerAnalysis | inline |
| getVersionedPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getVFnsFromCHA(const CallICFGNode *cs, VFunSet &vfns) | SVF::PointerAnalysis | |
| getVFnsFromPts(const CallICFGNode *cs, const PointsTo &target, VFunSet &vfns) | SVF::PointerAnalysis | |
| GNODE typedef | SVF::WPASolver< GraphType > | |
| graph() | SVF::WPASolver< GraphType > | inlineprotected |
| GTraits typedef | SVF::WPASolver< GraphType > | |
| handleCopyGep(ConstraintNode *node) | SVF::AndersenSCD | protectedvirtual |
| handleLoadStore(ConstraintNode *node) | SVF::AndersenSCD | protectedvirtual |
| hasIndCSCallees(const CallICFGNode *cs) const | SVF::PointerAnalysis | inline |
| heapAllocatorViaIndCall(const CallICFGNode *cs, NodePairSet &cpySrcNodes) | SVF::AndersenBase | protected |
| icfg | SVF::PointerAnalysis | protected |
| initialize() | SVF::AndersenSFR | protectedvirtual |
| initWorklist() | SVF::Andersen | inlineprotectedvirtual |
| inSameCallGraphSCC(const FunObjVar *fun1, const FunObjVar *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 FunObjVar *fun) const | SVF::PointerAnalysis | inline |
| isInWorklist(NodeID id) | SVF::WPASolver< GraphType > | inlineprotected |
| isLocalVarInRecursiveFun(NodeID id) const | SVF::PointerAnalysis | |
| isWorklistEmpty() | SVF::WPASolver< GraphType > | inlineprotected |
| iterationForPrintStat | SVF::WPASolver< GraphType > | protected |
| MaxPointsToSetSize | SVF::AndersenBase | static |
| mergeNodeToRep(NodeID nodeId, NodeID newRepId) | SVF::Andersen | protectedvirtual |
| mergeSccCycle() | SVF::Andersen | protected |
| mergeSccNodes(NodeID repNodeId, const NodeBS &subNodes) | SVF::Andersen | protected |
| mergeSrcToTgt(NodeID nodeId, NodeID newRepId) | SVF::AndersenSFR | protectedvirtual |
| Mutable enum value | SVF::BVDataPTAImpl | |
| MutDFPTDataTy typedef | SVF::BVDataPTAImpl | |
| MutDiffPTDataTy typedef | SVF::BVDataPTAImpl | |
| MutIncDFPTDataTy typedef | SVF::BVDataPTAImpl | |
| MutPTDataTy typedef | SVF::BVDataPTAImpl | |
| MutVersionedPTDataTy typedef | SVF::BVDataPTAImpl | |
| Node(NodeID id) | SVF::WPASolver< GraphType > | inlineprotected |
| Node_Index(GNODE node) | SVF::WPASolver< GraphType > | inlineprotected |
| NodeStrides typedef | SVF::AndersenSFR | |
| NodeToNodeMap typedef | SVF::AndersenSCD | |
| normalizePointsTo() override | SVF::AndersenBase | virtual |
| numOfFieldExpand | SVF::AndersenBase | static |
| numOfIteration | SVF::WPASolver< GraphType > | |
| numOfProcessedAddr | SVF::AndersenBase | static |
| numOfProcessedCopy | SVF::AndersenBase | static |
| numOfProcessedGep | SVF::AndersenBase | static |
| numOfProcessedLoad | SVF::AndersenBase | static |
| numOfProcessedStore | SVF::AndersenBase | static |
| numOfSCCDetection | SVF::AndersenBase | static |
| numOfSfrs | SVF::AndersenBase | static |
| onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges) | SVF::BVDataPTAImpl | protectedvirtual |
| OnTheFlyIterBudgetForStat | SVF::PointerAnalysis | protected |
| onTheFlyThreadCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newForkEdges) | SVF::BVDataPTAImpl | protectedvirtual |
| pag | SVF::PointerAnalysis | protectedstatic |
| PathS_DDA enum value | SVF::PointerAnalysis | |
| PersDFPTDataTy typedef | SVF::BVDataPTAImpl | |
| PersDiffPTDataTy typedef | SVF::BVDataPTAImpl | |
| PersIncDFPTDataTy typedef | SVF::BVDataPTAImpl | |
| Persistent enum value | SVF::BVDataPTAImpl | |
| PersPTDataTy typedef | SVF::BVDataPTAImpl | |
| PersVersionedPTDataTy typedef | SVF::BVDataPTAImpl | |
| PointerAnalysis(SVFIR *pag, PTATY ty=Default_PTA, bool alias_check=true) | SVF::PointerAnalysis | |
| popFromWorklist() | SVF::WPASolver< GraphType > | inlineprotected |
| print_stat | SVF::PointerAnalysis | protected |
| printIndCSTargets(const CallICFGNode *cs, const FunctionSet &targets) | SVF::PointerAnalysis | |
| printIndCSTargets() | SVF::PointerAnalysis | |
| printStat() | SVF::AndersenBase | inline |
| processAddr(const AddrCGEdge *addr) | SVF::AndersenSCD | protectedvirtual |
| processAllAddr() | SVF::Andersen | protected |
| processCopy(NodeID node, const ConstraintEdge *edge) | SVF::Andersen | protectedvirtual |
| processGep(NodeID node, const GepCGEdge *edge) | SVF::Andersen | protectedvirtual |
| processGepPts(const PointsTo &pts, const GepCGEdge *edge) | SVF::AndersenSFR | protectedvirtual |
| processLoad(NodeID node, const ConstraintEdge *load) | SVF::Andersen | protectedvirtual |
| processNode(NodeID nodeId) | SVF::Andersen | protectedvirtual |
| processPWC(ConstraintNode *rep) | SVF::AndersenSCD | protectedvirtual |
| processStore(NodeID node, const ConstraintEdge *load) | SVF::Andersen | protectedvirtual |
| propagate(GNODE *v) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| propFromSrcToDst(GEDGE *) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| PTAImplTy enum name | SVF::PointerAnalysis | |
| ptaImplTy | SVF::PointerAnalysis | protected |
| PTAName() const | SVF::Andersen | inlineprotectedvirtual |
| ptaTy | SVF::PointerAnalysis | protected |
| PTATY enum name | SVF::PointerAnalysis | |
| PTBackingType enum name | SVF::BVDataPTAImpl | |
| ptCache | SVF::BVDataPTAImpl | private |
| ptD | SVF::BVDataPTAImpl | private |
| PTDataTy typedef | SVF::BVDataPTAImpl | |
| pushIntoWorklist(NodeID id) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| PWCDetect() | SVF::AndersenSFR | protectedvirtual |
| pwcReps | SVF::AndersenSCD | protected |
| readAndSetObjFieldSensitivity(std::ifstream &f, const std::string &delimiterStr) | SVF::BVDataPTAImpl | virtual |
| readFromFile(const std::string &filename) | SVF::BVDataPTAImpl | virtual |
| readGepObjVarMapFromFile(std::ifstream &f) | SVF::BVDataPTAImpl | virtual |
| readPtsFromFile(const std::string &filename) | SVF::AndersenBase | virtual |
| readPtsResultFromFile(std::ifstream &f) | SVF::BVDataPTAImpl | virtual |
| reanalyze | SVF::WPASolver< GraphType > | protected |
| redundantGepNodes | SVF::AndersenBase | |
| releaseAndersenSCD() | SVF::AndersenSCD | inlinestatic |
| releaseAndersenSFR() | SVF::AndersenSFR | inlinestatic |
| remapPointsToSets(void) | SVF::BVDataPTAImpl | |
| resetData() | SVF::Andersen | inline |
| 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 |
| sanitizePts() | SVF::Andersen | inlineprotected |
| SCC typedef | SVF::WPASolver< GraphType > | |
| scc | SVF::WPASolver< GraphType > | protected |
| sccCandidates | SVF::AndersenSCD | protected |
| SCCDetect() | SVF::AndersenSCD | protectedvirtual |
| SVF::AndersenBase::SCCDetect(NodeSet &candidates) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| sccRepNode(NodeID id) const override | SVF::AndersenBase | inlinevirtual |
| sccSubNodes(NodeID repId) | SVF::AndersenBase | inline |
| scdAndersen | SVF::AndersenSCD | protectedstatic |
| setDetectPWC(bool flag) | SVF::Andersen | inline |
| setGraph(GraphType g) | SVF::WPASolver< GraphType > | inlineprotected |
| setObjFieldInsensitive(NodeID id) | SVF::PointerAnalysis | inline |
| sfrAndersen | SVF::AndersenSFR | privatestatic |
| sfrObjNodes | SVF::AndersenSFR | private |
| SFRTrait typedef | SVF::AndersenSFR | |
| solveAndwritePtsToFile(const std::string &filename) | SVF::AndersenBase | virtual |
| solveConstraints() | SVF::AndersenBase | virtual |
| solveWorklist() | SVF::AndersenSCD | protectedvirtual |
| stat | SVF::PointerAnalysis | protected |
| Steensgaard_WPA enum value | SVF::PointerAnalysis | |
| timeOfCollapse | SVF::AndersenBase | static |
| timeOfProcessCopyGep | SVF::AndersenBase | static |
| timeOfProcessLoadStore | SVF::AndersenBase | static |
| timeOfSCCDetection | SVF::AndersenBase | static |
| timeOfSCCMerges | SVF::AndersenBase | static |
| timeOfUpdateCallGraph | SVF::AndersenBase | static |
| TypeCPP_WPA enum value | SVF::PointerAnalysis | |
| unionPts(NodeID id, const PointsTo &target) | SVF::Andersen | inlinevirtual |
| unionPts(NodeID id, NodeID ptd) | SVF::Andersen | inlinevirtual |
| updateCallGraph(const CallSiteToFunPtrMap &callsites) | SVF::AndersenSCD | protectedvirtual |
| updateNodeRepAndSubs(NodeID nodeId, NodeID newRepId) | SVF::Andersen | protected |
| updatePropaPts(NodeID dstId, NodeID srcId) | SVF::Andersen | inlineprotected |
| updateThreadCallGraph(const CallSiteToFunPtrMap &, NodePairSet &) | SVF::AndersenBase | virtual |
| validateExpectedFailureTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateSuccessTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateTests() | SVF::PointerAnalysis | protectedvirtual |
| VersionedPTDataTy typedef | SVF::BVDataPTAImpl | |
| VFS_WPA enum value | SVF::PointerAnalysis | |
| VFunSet typedef | SVF::PointerAnalysis | |
| VTableSet typedef | SVF::PointerAnalysis | |
| WorkList typedef | SVF::WPASolver< GraphType > | |
| worklist | SVF::WPASolver< GraphType > | protected |
| WPASolver() | SVF::WPASolver< GraphType > | inlineprotected |
| writeGepObjVarMapToFile(std::fstream &f) | SVF::BVDataPTAImpl | virtual |
| writeObjVarToFile(const std::string &filename) | SVF::BVDataPTAImpl | virtual |
| writePtsResultToFile(std::fstream &f) | SVF::BVDataPTAImpl | virtual |
| writeToFile(const std::string &filename) | SVF::BVDataPTAImpl | virtual |
| ~Andersen() | SVF::Andersen | inlinevirtual |
| ~AndersenBase() override | SVF::AndersenBase | |
| ~AndersenSFR() | SVF::AndersenSFR | inline |
| ~BVDataPTAImpl() override=default | SVF::BVDataPTAImpl | |
| ~PointerAnalysis() | SVF::PointerAnalysis | virtual |
| ~WPASolver()=default | SVF::WPASolver< GraphType > | protectedvirtual |
