| _graph | SVF::WPASolver< GraphType > | protected |
| ADAPTFSCS_WPA enum value | SVF::PointerAnalysis | |
| ADAPTFSCSPS_WPA enum value | SVF::PointerAnalysis | |
| addClone(NodeID o, NodeID c) | SVF::TypeBasedHeapCloning | protected |
| addCloneDummyObjNode(const MemObj *mem) | SVF::TypeBasedHeapCloning | inlineprotected |
| addCloneFIObjNode(const MemObj *mem) | SVF::TypeBasedHeapCloning | inlineprotected |
| addCloneGepObjNode(const MemObj *mem, const LocationSet &l) | SVF::TypeBasedHeapCloning | inlineprotected |
| addGepToObj(NodeID gep, NodeID base, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
| addPts(NodeID id, NodeID ptd) | SVF::BVDataPTAImpl | inlinevirtual |
| addrTime | SVF::FlowSensitive | protected |
| alias(const MemoryLocation &LocA, const MemoryLocation &LocB) | SVF::BVDataPTAImpl | virtual |
| alias(const Value *V1, const Value *V2) | SVF::BVDataPTAImpl | virtual |
| alias(NodeID node1, NodeID node2) | SVF::BVDataPTAImpl | virtual |
| alias(const PointsTo &pts1, const PointsTo &pts2) | SVF::BVDataPTAImpl | virtual |
| alias_validation | SVF::PointerAnalysis | protected |
| AliasAnalysis typedef | SVF::PointerAnalysis | |
| 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 |
| allReuse | SVF::FlowSensitiveTBHC | private |
| analyze() override | SVF::FlowSensitiveTBHC | virtual |
| ander | SVF::FlowSensitive | protected |
| Andersen_BASE enum value | SVF::PointerAnalysis | |
| Andersen_WPA enum value | SVF::PointerAnalysis | |
| AndersenHCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenHLCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenLCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenSCD_WPA enum value | SVF::PointerAnalysis | |
| AndersenSFR_WPA enum value | SVF::PointerAnalysis | |
| AndersenWaveDiff_WPA enum value | SVF::PointerAnalysis | |
| AndersenWaveDiffWithType_WPA enum value | SVF::PointerAnalysis | |
| backPropagate(NodeID clone) override | SVF::FlowSensitiveTBHC | protectedvirtual |
| BaseImpl enum value | SVF::PointerAnalysis | |
| BVDataImpl enum value | SVF::PointerAnalysis | |
| BVDataPTAImpl(PAG *pag, PointerAnalysis::PTATY type, bool alias_check=true) | SVF::BVDataPTAImpl | |
| CallEdgeMap typedef | SVF::PointerAnalysis | |
| CallGraphSCC typedef | SVF::PointerAnalysis | |
| callGraphSCC | SVF::PointerAnalysis | protected |
| callGraphSCCDetection() | SVF::PointerAnalysis | inline |
| CallSiteSet typedef | SVF::PointerAnalysis | |
| CallSiteToFunPtrMap typedef | SVF::PointerAnalysis | |
| chgraph | SVF::PointerAnalysis | protectedstatic |
| child_iterator typedef | SVF::WPASolver< GraphType > | |
| classof(const FlowSensitiveTBHC *) | SVF::FlowSensitiveTBHC | inlinestatic |
| classof(const PointerAnalysis *pta) | SVF::FlowSensitiveTBHC | inlinestatic |
| SVF::FlowSensitive::classof(const FlowSensitive *) | SVF::FlowSensitive | inlinestatic |
| clearAllDFOutVarFlag(const SVFGNode *stmt) | SVF::FlowSensitive | inlineprotected |
| clearAllPts() | SVF::BVDataPTAImpl | inlinevirtual |
| clearFullPts(NodeID id) | SVF::BVDataPTAImpl | inlinevirtual |
| clearPts(NodeID id, NodeID element) | SVF::BVDataPTAImpl | inlinevirtual |
| SVF::PointerAnalysis::clearPts() | SVF::PointerAnalysis | inlinevirtual |
| cloneObject(NodeID o, const DIType *type, bool reuse) | SVF::TypeBasedHeapCloning | protected |
| collapseFields() | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| collapsePWCNode(NodeID) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| computeDDAPts(NodeID) | SVF::PointerAnalysis | inlinevirtual |
| CondImpl enum value | SVF::PointerAnalysis | |
| connectCallerAndCallee(const CallEdgeMap &newEdges, SVFGEdgeSetTy &edges) | SVF::FlowSensitive | protected |
| connectVCallToVFns(const CallBlockNode *cs, const VFunSet &vfns, CallEdgeMap &newEdges) | SVF::PointerAnalysis | |
| containBlackHoleNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| containConstantNode(const PointsTo &pts) | SVF::PointerAnalysis | inline |
| copyTime | SVF::FlowSensitive | protected |
| countAliases(Set< std::pair< NodeID, NodeID >> cmp, unsigned *mayAliases, unsigned *noAliases) override | SVF::FlowSensitiveTBHC | protectedvirtual |
| createFSWPA(PAG *_pag) | SVF::FlowSensitive | inlinestatic |
| CSCallString_WPA enum value | SVF::PointerAnalysis | |
| CSSummary_WPA enum value | SVF::PointerAnalysis | |
| Cxt_DDA enum value | SVF::PointerAnalysis | |
| dchg | SVF::TypeBasedHeapCloning | protected |
| Default_PTA enum value | SVF::PointerAnalysis | |
| derefFnName | SVF::TypeBasedHeapCloning | protectedstatic |
| destroy() | SVF::BVDataPTAImpl | inline |
| determineWhichGepsAreLoads(void) | SVF::FlowSensitiveTBHC | private |
| DFInOutMap typedef | SVF::FlowSensitive | |
| DFPTDataTy typedef | SVF::BVDataPTAImpl | |
| DiffPTDataTy typedef | SVF::BVDataPTAImpl | |
| directPropaTime | SVF::FlowSensitive | protected |
| disablePrintStat() | SVF::PointerAnalysis | inline |
| dumpAllPts() | SVF::BVDataPTAImpl | virtual |
| dumpAllTypes() | SVF::PointerAnalysis | |
| dumpCPts() | SVF::BVDataPTAImpl | inlinevirtual |
| dumpGraph() | SVF::PointerAnalysis | protected |
| dumpPts(NodeID ptr, const PointsTo &pts) | SVF::PointerAnalysis | virtual |
| dumpStat() | SVF::PointerAnalysis | |
| dumpStats(void) | SVF::TypeBasedHeapCloning | protected |
| dumpTopLevelPtsTo() | SVF::BVDataPTAImpl | virtual |
| expandFIObjs(const PointsTo &pts, PointsTo &expandedPts) override | SVF::FlowSensitiveTBHC | virtual |
| FieldS_DDA enum value | SVF::PointerAnalysis | |
| finalize() override | SVF::FlowSensitiveTBHC | virtual |
| FlowS_DDA enum value | SVF::PointerAnalysis | |
| FlowSensitive(PAG *_pag, PTATY type=FSSPARSE_WPA) | SVF::FlowSensitive | inline |
| FlowSensitiveTBHC(PAG *_pag, PTATY type=FSTBHC_WPA) | SVF::FlowSensitiveTBHC | |
| FSCS_WPA enum value | SVF::PointerAnalysis | |
| FSCSPS_WPA enum value | SVF::PointerAnalysis | |
| FSDATAFLOW_WPA enum value | SVF::PointerAnalysis | |
| fspta | SVF::FlowSensitive | protectedstatic |
| FSSPARSE_WPA enum value | SVF::PointerAnalysis | |
| FSTBHC_WPA enum value | SVF::PointerAnalysis | |
| FunctionSet typedef | SVF::PointerAnalysis | |
| GEDGE typedef | SVF::WPASolver< GraphType > | |
| gepIsLoad(NodeID gep) | SVF::FlowSensitiveTBHC | private |
| gepTime | SVF::FlowSensitive | protected |
| gepToSVFGRetrievers | SVF::FlowSensitiveTBHC | private |
| getAllFieldsObjNode(NodeID id) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| getAllocationSite(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
| getAllValidPtrs() | SVF::PointerAnalysis | inline |
| getAnalysisTy() const | SVF::PointerAnalysis | inline |
| getBaseObjNode(NodeID id) | SVF::PointerAnalysis | inline |
| getCallGraphSCC() const | SVF::PointerAnalysis | inline |
| getCallGraphSCCRepNode(NodeID id) const | SVF::PointerAnalysis | inline |
| getCHGraph() const | SVF::PointerAnalysis | inline |
| getClones(NodeID o) | SVF::TypeBasedHeapCloning | protected |
| getDFInPtsSet(const SVFGNode *stmt, const NodeID node) | SVF::FlowSensitive | inlineprotected |
| getDFInputMap() const | SVF::FlowSensitive | inlineprotected |
| getDFOutPtsSet(const SVFGNode *stmt, const NodeID node) | SVF::FlowSensitive | inlineprotected |
| getDFOutputMap() const | SVF::FlowSensitive | inlineprotected |
| getDFPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getDiffPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getFilterSet(NodeID loc) | SVF::TypeBasedHeapCloning | protected |
| getFIObjNode(NodeID id) | SVF::PointerAnalysis | inline |
| getFunPtr(const CallBlockNode *cs) const | SVF::PointerAnalysis | inlineprotected |
| getGepObjClones(NodeID base, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
| getGepObjNode(NodeID id, const LocationSet &ls) | SVF::PointerAnalysis | inline |
| getGepObjs(NodeID base) | SVF::TypeBasedHeapCloning | protected |
| getGepObjsFromMemObj(const MemObj *memObj, unsigned offset) | SVF::TypeBasedHeapCloning | protected |
| getImplTy() const | SVF::PointerAnalysis | inline |
| getIndCallMap() | SVF::PointerAnalysis | inline |
| getIndCSCallees(const CallBlockNode *cs) const | SVF::PointerAnalysis | inline |
| getIndirectCallsites() const | SVF::PointerAnalysis | inlineprotected |
| getModule() const | SVF::PointerAnalysis | inline |
| getMutDFPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getNumOfResolvedIndCallEdge() const | SVF::PointerAnalysis | inline |
| getObjsWithClones(void) | SVF::TypeBasedHeapCloning | protected |
| getOriginalObj(NodeID c) const | SVF::TypeBasedHeapCloning | protected |
| getPAG() const | SVF::PointerAnalysis | inline |
| getPTACallGraph() const | SVF::PointerAnalysis | inline |
| getPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getPts(NodeID id) | SVF::BVDataPTAImpl | inlinevirtual |
| getRawCTirMetadata(const SVFGNode *) | SVF::FlowSensitiveTBHC | static |
| SVF::TypeBasedHeapCloning::getRawCTirMetadata(const Value *) | SVF::TypeBasedHeapCloning | static |
| getRevPts(NodeID nodeId) | SVF::BVDataPTAImpl | inlinevirtual |
| getSCCDetector() const | SVF::WPASolver< GraphType > | inlineprotected |
| getStat() const | SVF::PointerAnalysis | inline |
| getSVFG() const | SVF::FlowSensitive | inline |
| getType(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
| getTypeFromCTirMetadata(const SVFGNode *) | SVF::FlowSensitiveTBHC | |
| SVF::TypeBasedHeapCloning::getTypeFromCTirMetadata(const Value *) | SVF::TypeBasedHeapCloning | protected |
| getTypeSystem() const | SVF::PointerAnalysis | inline |
| getVersionedPTDataTy() const | SVF::BVDataPTAImpl | inlineprotected |
| getVFnsFromCHA(const CallBlockNode *cs, VFunSet &vfns) | SVF::PointerAnalysis | |
| getVFnsFromPts(const CallBlockNode *cs, const PointsTo &target, VFunSet &vfns) | SVF::PointerAnalysis | |
| GNODE typedef | SVF::WPASolver< GraphType > | |
| graph() | SVF::WPASolver< GraphType > | inlineprotected |
| GTraits typedef | SVF::WPASolver< GraphType > | |
| hasIndCSCallees(const CallBlockNode *cs) const | SVF::PointerAnalysis | inline |
| icfg | SVF::PointerAnalysis | protected |
| IncMutDFPTDataTy typedef | SVF::BVDataPTAImpl | |
| indirectPropaTime | SVF::FlowSensitive | protected |
| init(NodeID loc, NodeID p, const DIType *tildet, bool reuse, bool gep=false) | SVF::TypeBasedHeapCloning | protected |
| initialize() override | SVF::FlowSensitiveTBHC | virtual |
| initWorklist() | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| inSameCallGraphSCC(const SVFFunction *fun1, const SVFFunction *fun2) | SVF::PointerAnalysis | inline |
| isArrayMemObj(NodeID id) const | SVF::PointerAnalysis | inline |
| isBase(const DIType *a, const DIType *b) const | SVF::TypeBasedHeapCloning | protected |
| SVF::isBlkObjOrConstantObj(NodeID ptd) const | SVF::PointerAnalysis | inlinevirtual |
| SVF::TypeBasedHeapCloning::isBlkObjOrConstantObj(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
| isClone(NodeID o) const | SVF::TypeBasedHeapCloning | protected |
| 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 |
| isInWorklist(NodeID id) | SVF::WPASolver< GraphType > | inlineprotected |
| isLocalVarInRecursiveFun(NodeID id) const | SVF::PointerAnalysis | |
| isNonPointerObj(NodeID ptd) const | SVF::PointerAnalysis | inline |
| isStrongUpdate(const SVFGNode *node, NodeID &singleton) | SVF::FlowSensitive | protected |
| isWorklistEmpty() | SVF::WPASolver< GraphType > | inlineprotected |
| iterationForPrintStat | SVF::WPASolver< GraphType > | protected |
| loadGeps | SVF::FlowSensitiveTBHC | private |
| loadTime | SVF::FlowSensitive | protected |
| mangledDerefFnName | SVF::TypeBasedHeapCloning | protectedstatic |
| matchArgs(const CallBlockNode *cs, const SVFFunction *callee) | SVF::PointerAnalysis | |
| maxSCCSize | SVF::FlowSensitive | protected |
| memSSA | SVF::FlowSensitive | protected |
| MutDFPTDataTy typedef | SVF::FlowSensitive | |
| MutDiffPTDataTy 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 |
| nodeStack | SVF::WPAFSSolver< GraphType > | protected |
| normalizePointsTo() | SVF::BVDataPTAImpl | protectedvirtual |
| numOfIteration | SVF::WPASolver< GraphType > | |
| numOfNodesInSCC | SVF::FlowSensitive | protected |
| numOfProcessedActualParam | SVF::FlowSensitive | protected |
| numOfProcessedAddr | SVF::FlowSensitive | protected |
| numOfProcessedCopy | SVF::FlowSensitive | protected |
| numOfProcessedFormalRet | SVF::FlowSensitive | protected |
| numOfProcessedGep | SVF::FlowSensitive | protected |
| numOfProcessedLoad | SVF::FlowSensitive | protected |
| numOfProcessedMSSANode | SVF::FlowSensitive | protected |
| numOfProcessedPhi | SVF::FlowSensitive | protected |
| numOfProcessedStore | SVF::FlowSensitive | protected |
| numOfSCC | SVF::FlowSensitive | protected |
| onTheFlyCallGraphSolve(const CallSiteToFunPtrMap &callsites, CallEdgeMap &newEdges) | SVF::BVDataPTAImpl | protectedvirtual |
| OnTheFlyIterBudgetForStat | SVF::PointerAnalysis | protected |
| pag | SVF::PointerAnalysis | protectedstatic |
| PathS_DDA enum value | SVF::PointerAnalysis | |
| phiTime | SVF::FlowSensitive | protected |
| PointerAnalysis(PAG *pag, PTATY ty=Default_PTA, bool alias_check=true) | SVF::PointerAnalysis | |
| popFromWorklist() | SVF::WPASolver< GraphType > | inlineprotected |
| print_stat | SVF::PointerAnalysis | protected |
| printCTirAliasStats(void) | SVF::FlowSensitive | protectedvirtual |
| printIndCSTargets(const CallBlockNode *cs, const FunctionSet &targets) | SVF::PointerAnalysis | |
| printIndCSTargets() | SVF::PointerAnalysis | |
| printStat() | SVF::PointerAnalysis | inline |
| processAddr(const AddrSVFGNode *addr) override | SVF::FlowSensitiveTBHC | virtual |
| processCopy(const CopySVFGNode *copy) override | SVF::FlowSensitiveTBHC | virtual |
| processGep(const GepSVFGNode *gep) override | SVF::FlowSensitiveTBHC | virtual |
| processLoad(const LoadSVFGNode *load) override | SVF::FlowSensitiveTBHC | virtual |
| processNode(NodeID nodeId) | SVF::FlowSensitive | protectedvirtual |
| processPhi(const PHISVFGNode *phi) override | SVF::FlowSensitiveTBHC | virtual |
| processStore(const StoreSVFGNode *store) override | SVF::FlowSensitiveTBHC | virtual |
| processSVFGNode(SVFGNode *node) | SVF::FlowSensitive | protected |
| processTime | SVF::FlowSensitive | protected |
| propagate(GNODE *v) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| propagateFromAPToFP(const ActualParmSVFGNode *ap, const SVFGNode *dst) | SVF::FlowSensitive | protectedvirtual |
| propagateFromFRToAR(const FormalRetSVFGNode *fr, const SVFGNode *dst) | SVF::FlowSensitive | protectedvirtual |
| propagationTime | SVF::FlowSensitive | protected |
| propAlongDirectEdge(const DirectSVFGEdge *edge) override | SVF::FlowSensitiveTBHC | virtual |
| propAlongIndirectEdge(const IndirectSVFGEdge *edge) override | SVF::FlowSensitiveTBHC | virtual |
| propDFInToIn(const SVFGNode *srcStmt, NodeID srcVar, const SVFGNode *dstStmt, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| propDFOutToIn(const SVFGNode *srcStmt, NodeID srcVar, const SVFGNode *dstStmt, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| propFromSrcToDst(SVFGEdge *edge) | SVF::FlowSensitive | protectedvirtual |
| SVF::WPAFSSolver::propFromSrcToDst(GEDGE *) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| propVarPtsAfterCGUpdated(NodeID var, const SVFGNode *src, const SVFGNode *dst) | SVF::FlowSensitive | protected |
| propVarPtsFromSrcToDst(NodeID var, const SVFGNode *src, const SVFGNode *dst) | SVF::FlowSensitive | protectedvirtual |
| ptaCallGraph | SVF::PointerAnalysis | protected |
| PTAImplTy enum name | SVF::PointerAnalysis | |
| ptaImplTy | SVF::PointerAnalysis | protected |
| PTAName() const override | SVF::FlowSensitiveTBHC | inlinevirtual |
| PTATY enum name | SVF::PointerAnalysis | |
| ptaTy | SVF::PointerAnalysis | protected |
| PTDataTy typedef | SVF::BVDataPTAImpl | |
| PtsMap typedef | SVF::FlowSensitive | |
| pushIntoWorklist(NodeID id) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| readFromFile(const std::string &filename) | SVF::BVDataPTAImpl | virtual |
| reanalyze | SVF::WPASolver< GraphType > | protected |
| releaseFSWPA() | SVF::FlowSensitive | inlinestatic |
| resetObjFieldSensitive() | SVF::PointerAnalysis | protected |
| resolveCPPIndCalls(const CallBlockNode *cs, const PointsTo &target, CallEdgeMap &newEdges) | SVF::PointerAnalysis | virtual |
| resolveIndCalls(const CallBlockNode *cs, const PointsTo &target, CallEdgeMap &newEdges, LLVMCallGraph *callgraph=nullptr) | SVF::PointerAnalysis | virtual |
| runOnModule(SVFModule *) | SVF::FlowSensitive | inlinevirtual |
| scc | SVF::WPASolver< GraphType > | protected |
| SCC typedef | SVF::WPASolver< GraphType > | |
| SCCDetect() | SVF::FlowSensitive | protectedvirtual |
| SVF::WPASolver::SCCDetect(NodeSet &candidates) | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| sccRepNode(NodeID id) const | SVF::WPAFSSolver< GraphType > | inlinevirtual |
| sccTime | SVF::FlowSensitive | protected |
| setAllocationSite(NodeID o, NodeID site) | SVF::TypeBasedHeapCloning | protected |
| setDCHG(DCHGraph *dchg) | SVF::TypeBasedHeapCloning | protected |
| setGraph(GraphType g) | SVF::WPASolver< GraphType > | inlineprotected |
| setObjFieldInsensitive(NodeID id) | SVF::PointerAnalysis | inline |
| setOriginalObj(NodeID c, NodeID o) | SVF::TypeBasedHeapCloning | protected |
| setPAG(PAG *pag) | SVF::TypeBasedHeapCloning | protected |
| setType(NodeID o, const DIType *t) | SVF::TypeBasedHeapCloning | protected |
| solveTime | SVF::FlowSensitive | protected |
| solveWorklist() | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
| stat | SVF::PointerAnalysis | protected |
| Steensgaard_WPA enum value | SVF::PointerAnalysis | |
| storeReuse | SVF::FlowSensitiveTBHC | private |
| storeTime | SVF::FlowSensitive | protected |
| strongUpdateOutFromIn(const SVFGNode *node, NodeID singleton) | SVF::FlowSensitive | inlineprotectedvirtual |
| svfg | SVF::FlowSensitive | protected |
| SVFGEdgeSetTy typedef | SVF::FlowSensitive | protected |
| svfgHasSU | SVF::FlowSensitive | protected |
| svfgStat() | SVF::FlowSensitive | protected |
| svfMod | SVF::PointerAnalysis | protected |
| TypeBasedHeapCloning(BVDataPTAImpl *pta) | SVF::TypeBasedHeapCloning | protected |
| TypeCPP_WPA enum value | SVF::PointerAnalysis | |
| typeSystem | SVF::PointerAnalysis | protected |
| undefType | SVF::TypeBasedHeapCloning | protectedstatic |
| unionPts(NodeID id, const PointsTo &target) | SVF::BVDataPTAImpl | inlinevirtual |
| unionPts(NodeID id, NodeID ptd) | SVF::BVDataPTAImpl | inlinevirtual |
| unionPtsFromIn(const SVFGNode *stmt, NodeID srcVar, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| unionPtsFromTop(const SVFGNode *stmt, NodeID srcVar, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| updateCallGraph(const CallSiteToFunPtrMap &callsites) | SVF::FlowSensitive | protectedvirtual |
| updateCallGraphTime | SVF::FlowSensitive | protected |
| updateConnectedNodes(const SVFGEdgeSetTy &edges) | SVF::FlowSensitive | protectedvirtual |
| updateInFromIn(const SVFGNode *srcStmt, NodeID srcVar, const SVFGNode *dstStmt, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| updateInFromOut(const SVFGNode *srcStmt, NodeID srcVar, const SVFGNode *dstStmt, NodeID dstVar) override | SVF::FlowSensitiveTBHC | inlinevirtual |
| updateOutFromIn(const SVFGNode *srcStmt, NodeID srcVar, const SVFGNode *dstStmt, NodeID dstVar) | SVF::FlowSensitive | inlineprotected |
| updateTime | SVF::FlowSensitive | protected |
| validateExpectedFailureTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateSuccessTests(std::string fun) | SVF::PointerAnalysis | protectedvirtual |
| validateTBHCTests(SVFModule *svfMod) | SVF::TypeBasedHeapCloning | protected |
| validateTests() | SVF::PointerAnalysis | protectedvirtual |
| VersionedPTDataTy typedef | SVF::BVDataPTAImpl | |
| VFS_WPA enum value | SVF::PointerAnalysis | |
| VFunSet typedef | SVF::PointerAnalysis | |
| VTableSet typedef | SVF::PointerAnalysis | |
| weakUpdateOutFromIn(const SVFGNode *node) | SVF::FlowSensitive | inlineprotectedvirtual |
| WorkList typedef | SVF::WPASolver< GraphType > | |
| worklist | SVF::WPASolver< GraphType > | protected |
| WPAFSSolver() | SVF::WPAFSSolver< GraphType > | inline |
| WPASolver() | SVF::WPASolver< GraphType > | inlineprotected |
| writeToFile(const std::string &filename) | SVF::BVDataPTAImpl | virtual |
| ~BVDataPTAImpl() | SVF::BVDataPTAImpl | inlinevirtual |
| ~FlowSensitive() | SVF::FlowSensitive | inlinevirtual |
| ~FlowSensitiveTBHC() | SVF::FlowSensitiveTBHC | inlinevirtual |
| ~PointerAnalysis() | SVF::PointerAnalysis | virtual |
| ~TypeBasedHeapCloning() | SVF::TypeBasedHeapCloning | inlinevirtual |
| ~WPAFSSolver() | SVF::WPAFSSolver< GraphType > | inlinevirtual |
| ~WPASolver() | SVF::WPASolver< GraphType > | inlineprotectedvirtual |
