Here is a list of all class members with links to the classes they belong to:

- s -

• SaberCheckerAPI() : SVF::SaberCheckerAPI
• SaberCondAllocator() : SVF::SaberCondAllocator
• saberCondAllocator : SVF::SaberSVFGBuilder, SVF::SrcSnkDDA
• SABERFULLSVFG : SVF::Options
• SaberSVFGBuilder() : SVF::SaberSVFGBuilder, SVF::SVFG
• safeAdd() : SVF::BoundedDouble, SVF::BoundedInt
• safeDiv() : SVF::BoundedDouble
• safeMul() : SVF::BoundedDouble, SVF::BoundedInt
• Same : SVF::AccessPath
• sameLoopTripCount() : SVF::ForkJoinAnalysis
• sanitizePts() : SVF::Andersen
• sanityCheck() : SVF::SVFIRBuilder
• SBV : SVF::PointsTo
• sbv : SVF::PointsTo
• sbvIt : SVF::PointsTo::PointsToIterator
• SCC : SVF::MRGenerator, SVF::WPASolver< GraphType >
• scc : SVF::ICFGWTO, SVF::WPASolver< GraphType >
• sccCandidates : SVF::AndersenSCD
• SCCDetect() : SVF::Andersen, SVF::AndersenSCD, SVF::FlowSensitive, SVF::FSMPTA< SVFGGraph >, SVF::WPAFSSolver< GraphType >, SVF::WPASolver< GraphType >
• SCCDetection() : SVF::SCCDetection< GraphType >
• sccRepNode() : SVF::AndersenBase, SVF::ConstraintGraph, SVF::Steensgaard, SVF::WPAFSSolver< GraphType >, SVF::WPASolver< GraphType >
• sccSubNodes() : SVF::AndersenBase, SVF::ConstraintGraph
• sccTime : SVF::FlowSensitive
• scdAndersen : SVF::AndersenSCD
• scope : SVF::MTASVFGBuilder::ThreadVFBuildConfig
• ScopedPhaseTimer() : SVF::ScopedPhaseTimer
• SDiv : SVF::BinaryOPStmt
• secondRHSToProds : SVF::CFGrammar
• Select : SVF::SVFStmt
• selectClient() : SVF::DDAPass
• selectedThreadVFCandidates : SVF::SlicedMTA
• selectLargestSizedType() : SVF::ObjTypeInference
• SelectStmt() : SVF::SelectStmt
• SelfCycle : SVF::Options
• SemiSparse : SVF::AbstractInterpretation
• SemiSparseAbstractInterpretation() : SVF::SemiSparseAbstractInterpretation
• SEQ : SVF::NodeIDAllocator
• set() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >
• set_minus_infinity() : SVF::BoundedDouble, SVF::BoundedInt
• set_plus_infinity() : SVF::BoundedDouble, SVF::BoundedInt
• set_to_bottom() : SVF::IntervalValue
• set_to_top() : SVF::IntervalValue
• setAccessPath() : SVF::GepValVar
• setActualINDef() : SVF::SVFGOPT
• setAllReachable() : SVF::ProgSlice
• setAttributeKinds() : SVF::GrammarBase
• setBaseNode() : SVF::GepValVar
• setBasicBlock() : SVF::SVFStmt
• setBasicBlockGraph() : SVF::FunObjVar
• setBB() : SVF::SVFStmt
• setBB2LoopMap() : SVF::SVFLoopAndDomInfo
• setBB2PdomLevel() : SVF::SVFLoopAndDomInfo
• setBB2PIdom() : SVF::SVFLoopAndDomInfo
• setBranchCond() : SVF::SaberCondAllocator
• setBranchCondVal() : SVF::IntraCFGEdge
• setByteSizeOfObj() : SVF::ObjTypeInfo
• setCallBlockNode() : SVF::RetICFGNode
• setCallEdgeLabelCounter() : SVF::SVFStmt
• setCallGraph() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SVFIR
• setCallGraphNode() : SVF::RetValPN, SVF::VarArgValPN
• setCallGraphSCC() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• setCallPE() : SVF::FormalParmVFGNode
• setCDN() : SVF::WTO< GraphT >
• setCFCond() : SVF::SaberCondAllocator
• setCHG() : SVF::SVFIR
• setCondInst() : SVF::SaberCondAllocator
• setConditionVar() : SVF::IntraCFGEdge
• setConsume() : SVF::VersionedFlowSensitive
• setCurEvalSVFGNode() : SVF::SaberCondAllocator
• setCurNodeID() : SVF::DPItem
• setCurrentBBAndValueForPAGEdge() : SVF::SVFIRBuilder
• setCurrentBestNodeMapping() : SVF::PointsTo
• setCurrentLocation() : SVF::SVFIRBuilder
• setCurrentQueryPtr() : SVF::DDAClient
• setCurrentSCC() : SVF::WPASCCSolver< GraphType >
• setCurSlice() : SVF::SrcSnkDDA
• setCurSVFGNode() : SVF::ProgSlice
• setDDAStat() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• setDef() : SVF::SVFG, SVF::VFG
• setDetectPWC() : SVF::Andersen
• setDomFrontierMap() : SVF::SVFLoopAndDomInfo
• setDomTreeMap() : SVF::SVFLoopAndDomInfo
• setEBNFSigns() : SVF::GrammarBase
• setEC() : SVF::Steensgaard
• setExitBlock() : SVF::FunObjVar
• setExtBcPath() : SVF::ExtAPI
• setExtFuncAnnotations() : SVF::ExtAPI, SVF::LLVMModuleSet
• setFieldInsensitive() : SVF::BaseObjVar
• setFieldSensitive() : SVF::BaseObjVar
• setFinalCond() : SVF::ProgSlice
• setFlag() : SVF::CHNode, SVF::ObjTypeInfo
• setFlags() : SVF::CHNode
• setFldIdx() : SVF::AccessPath
• setFormalOUTDef() : SVF::SVFGOPT
• setFun() : SVF::SVFBasicBlock
• setFunction() : SVF::FunValVar
• setFunExitBB() : SVF::LLVMModuleSet
• setFunRealDefFun() : SVF::LLVMModuleSet
• setGraph() : SVF::GraphReachSolver< GraphType, DPIm >, SVF::SrcSnkSolver< GraphType, DPIm >, SVF::WPASolver< GraphType >
• setICFG() : SVF::SVFIR
• setICFGNode() : SVF::SVFStmt, SVF::VFGNode
• setIncycle() : SVF::CxtThread
• setIndFunPtr() : SVF::CallICFGNode
• setInloop() : SVF::CxtThread
• setInSCC() : SVF::SCCDetection< GraphType >
• setKindToAttrsMap() : SVF::GrammarBase
• setLLVMVarInstID() : SVF::GepValVar
• setLoc() : SVF::StmtDPItem< LocCond >
• setLocVar() : SVF::StmtDPItem< LocCond >
• setLoopAndDomInfo() : SVF::FunObjVar
• setLoopBound() : SVF::SVFLoop
• setMaxBudget() : SVF::DPItem
• setMaxCxtLen() : SVF::ContextCond
• setMaxFieldOffsetLimit() : SVF::ObjTypeInfo
• setMaxPathLen() : SVF::ContextCond
• setMemUsageAfter() : SVF::PTAStat
• setMemUsageBefore() : SVF::PTAStat
• setModuleIdentifier() : SVF::SVFIR
• setMultiforked() : SVF::TCTNode
• setMultiForkedAttrs() : SVF::TCT
• setMultiInheritance() : SVF::CHNode
• setMultiOpndLabelCounter() : SVF::SVFStmt
• setName() : SVF::SVFStructType, SVF::SVFValue
• setNegCondInst() : SVF::SaberCondAllocator
• setNodeNumAfterPAGBuild() : SVF::IRGraph
• setNonConcreteCxt() : SVF::ContextCond
• setNonterminals() : SVF::GrammarBase
• setNumOfElement() : SVF::SVFArrayType
• setNumOfElements() : SVF::BaseObjVar, SVF::ObjTypeInfo
• setNumOfFieldsAndElems() : SVF::StInfo
• setObjFieldInsensitive() : SVF::PointerAnalysis
• setOpICFGNodeVec() : SVF::PhiStmt
• setOpVer() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::MSSACHI< Cond >, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• setOpVerAndBB() : SVF::IntraPHIVFGNode
• setPAG() : SVF::DDAClient
• setPagFromTXT() : SVF::SVFIR
• setPartialReachable() : SVF::ProgSlice
• setPostDomTreeMap() : SVF::SVFLoopAndDomInfo
• setPureAbstract() : SVF::CHNode
• setPWCNode() : SVF::ConstraintGraph, SVF::ConstraintNode
• setQuery() : SVF::DDAClient
• setRawProductions() : SVF::GrammarBase
• setReachableBBs() : SVF::SVFLoopAndDomInfo
• setReachGlobal() : SVF::ProgSlice
• setRelDefFun() : SVF::FunObjVar
• setRep() : SVF::ConstraintGraph
• setRepr() : SVF::SVFOtherType
• setResVer() : SVF::MSSADEF
• setRetICFGNode() : SVF::CallICFGNode
• setReturnType() : SVF::SVFFunctionType
• setSaberCondAllocator() : SVF::SaberSVFGBuilder
• setSignAndWidth() : SVF::SVFIntegerType
• setSourceLoc() : SVF::SVFValue
• setStartKind() : SVF::GrammarBase
• setStat() : SVF::SVFBugReport
• setStinfoId() : SVF::StInfo
• setStoreEdgeLabelCounter() : SVF::SVFStmt
• setSubs() : SVF::ConstraintGraph
• setSVFInt8Type() : SVF::SVFType
• setSVFPtrType() : SVF::SVFType
• setTemplate() : SVF::CHNode
• setTerminals() : SVF::GrammarBase
• setTokeepActualOutFormalIn() : SVF::SVFGOPT
• setTokeepAllSelfCycle() : SVF::SVFGOPT
• setTokeepContextSelfCycle() : SVF::SVFGOPT
• setTotalKind() : SVF::GrammarBase
• setTypeInfo() : SVF::SVFType
• setTypeOfElement() : SVF::SVFArrayType
• setVals() : SVF::AddressValue
• setValue() : Option< T >, SVF::IntervalValue, SVF::SVFStmt
• setVarDFInSetUpdated() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• setVarDFOutSetUpdated() : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• setVer() : SVF::MSSAMU< Cond >
• setVersion() : SVF::VersionedFlowSensitive
• setVFCond() : SVF::ProgSlice
• setVisited() : SVF::CSC, SVF::SCCDetection< GraphType >
• setVTable() : SVF::CHNode
• setVtablePtr() : SVF::CallICFGNode
• setYield() : SVF::VersionedFlowSensitive
• SEXT : SVF::CopyStmt
• sfrAndersen : SVF::AndersenSFR
• sfrObjNodes : SVF::AndersenSFR
• SFRTrait : SVF::AndersenSFR
• sfvgOptEnd() : SVF::SVFGStat
• sfvgOptStart() : SVF::SVFGStat
• Shl : SVF::BinaryOPStmt
• shl : SVF::Z3Expr
• shouldApplyNarrowing() : SVF::AbstractInterpretation
• ShowHiddenNode : SVF::Options
• ShowSVFIRValue : SVF::Options
• signAndWidth : SVF::SVFIntegerType
• SimpleType : SVF::SVFUtil::simplify_type< From >, SVF::SVFUtil::simplify_type< const From >
• simplify() : SVF::Z3Expr
• SingleCondVar : SVF::CondPointsToSet< Cond >
• singleRHSToProds : SVF::CFGrammar
• singleSlicedNodes : SVF::SlicedMTA
• singleSlicedSVFGNodeIds : SVF::SlicedMTA
• SingleSlicer() : SVF::SingleSlicer
• singleSlicer : SVF::SlicedMTA
• sinks : SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGStat
• sinksBegin() : SVF::ProgSlice, SVF::SrcSnkDDA
• sinksEnd() : SVF::ProgSlice, SVF::SrcSnkDDA
• SITOFP : SVF::CopyStmt
• size() : SVF::AddressValue, SVF::CondStdSet< Element >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >
• size_type : SVF::SparseBitVectorElement< ElementSize >
• skipNonKept() : SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeIterImpl< Forward >, SVF::SlicedSVFGNodeIter
• skipNonKeptReal() : SVF::SlicedICFGEdgeIterImpl< Forward >
• skipRecursionWithTop() : SVF::AbstractInterpretation
• skipRecursiveCall() : SVF::AbstractInterpretation
• SlicedCGChildIterImpl() : SVF::SlicedCGChildIterImpl< Forward >
• SlicedCGEdgeIterImpl() : SVF::SlicedCGEdgeIterImpl< Forward >
• SlicedCGNodeIter() : SVF::SlicedCGNodeIter
• SlicedICFGChildIterImpl() : SVF::SlicedICFGChildIterImpl< Forward >
• SlicedICFGEdgeIterImpl() : SVF::SlicedICFGEdgeIterImpl< Forward >
• SlicedICFGNodeIter() : SVF::SlicedICFGNodeIter
• SlicedICFGView() : SVF::SlicedICFGView
• slicedLockAnalysis : SVF::SlicedMTA
• slicedMHP : SVF::SlicedMTA
• SlicedMTA() : SVF::SlicedMTA
• SlicedNodeRef() : SVF::SlicedNodeRef< ViewT, RawNodeT >
• SlicedPAGChildIterImpl() : SVF::SlicedPAGChildIterImpl< Forward >
• SlicedPAGEdgeIterImpl() : SVF::SlicedPAGEdgeIterImpl< Forward >
• SlicedPAGNodeIter() : SVF::SlicedPAGNodeIter
• SlicedPAGView() : SVF::SlicedPAGView
• SlicedSVFGChildIterImpl() : SVF::SlicedSVFGChildIterImpl< Forward >
• SlicedSVFGEdgeIterImpl() : SVF::SlicedSVFGEdgeIterImpl< Forward >
• SlicedSVFGNodeIter() : SVF::SlicedSVFGNodeIter
• SlicedSVFGView() : SVF::SlicedSVFGView
• slicedSVFGView : SVF::SlicedMTA
• SlicedSVFIRView() : SVF::SlicedSVFIRView
• SlicedTCT() : SVF::SlicedTCT
• slicedTCT : SVF::SlicedMTA
• SlicedThreadCallGraphView() : SVF::SlicedThreadCallGraphView
• sliceState() : SVF::AbstractState
• solve() : SVF::CFLAlias, SVF::CFLBase, SVF::CFLSolver, SVF::WPAMinimumSolver< GraphType >, SVF::WPASCCSolver< GraphType >
• solveAll : SVF::DDAClient
• solveAndwritePtsToFile() : SVF::AndersenBase, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• solveConstraints() : SVF::AndersenBase, SVF::FlowSensitive
• solveGraph : SVF::FSMPTA< SVFGGraph >
• SolveGraphTraits : SVF::FSMPTA< SVFGGraph >
• solveNodeStack : SVF::FSMPTA< SVFGGraph >
• solver : SVF::CFLBase, SVF::Z3Expr
• solveSCC : SVF::FSMPTA< SVFGGraph >
• solveTime : SVF::FlowSensitive
• solveWorklist() : SVF::AndersenSCD, SVF::AndersenWaveDiff, SVF::Steensgaard, SVF::WPASolver< GraphType >
• sortPointsTo() : SVF::MRGenerator
• SourceInst : SVF::SVFBugEvent
• sourceLoc : SVF::SVFValue
• sourceNodeId : SVF::MTASVFGBuilder::ThreadVFCandidate
• sources : SVF::SrcSnkDDA, SVF::SVFGStat
• sourcesBegin() : SVF::SrcSnkDDA
• sourcesEnd() : SVF::SrcSnkDDA
• spanHeadCache : SVF::MTASVFGBuilder
• spanTailCache : SVF::MTASVFGBuilder
• Sparse : SVF::AbstractInterpretation
• SparseBitVector() : SVF::SparseBitVector< ElementSize >
• SparseBitVectorElement() : SVF::SparseBitVectorElement< ElementSize >
• SparseBitVectorIterator() : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• SparseObjEdge() : SVF::SparseObjEdge
• SparseObjGraph() : SVF::SparseObjGraph
• SparseObjNode() : SVF::SparseObjNode
• src : SVF::GenericEdge< NodeTy >, SVF::SlicedCallGraphEdgeRef, SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeRef, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeRef, SVF::SlicedSVFGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeRef
• SrcSnkDDA() : SVF::SrcSnkDDA
• SrcSnkSolver() : SVF::SrcSnkSolver< GraphType, DPIm >
• srcToCSIDMap : SVF::LeakChecker
• SRem : SVF::BinaryOPStmt
• SSACHI : SVF::MSSADEF
• SSAPHI : SVF::MSSADEF
• SSARename() : SVF::MemSSA
• SSARenameBB() : SVF::MemSSA
• Stack : SVF::WTO< GraphT >
• STACK_OBJ : SVF::ObjTypeInfo
• StackObjNode : SVF::SVFValue
• StackObjVar() : SVF::StackObjVar
• Standard : SVF::CommonCHGraph
• start : SVF::ScopedPhaseTimer
• startClk() : SVF::SVFStat
• startKind : SVF::CFLGraph, SVF::GrammarBase
• startNewPTCompFromLoadSrc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• startNewPTCompFromStoreDst() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• startTime : SVF::SVFStat
• stat : SVF::AbstractInterpretation, SVF::MemSSA, SVF::MTA, SVF::PointerAnalysis, SVF::SVFG
• statAddrVarPtsSize() : SVF::FlowSensitiveStat
• StatBudget : SVF::Options
• statementLess() : SVF::MTA::RacePair
• StateRepresentation : SVF::MHP
• stateRepresentation : SVF::MHP
• STATIC_OBJ : SVF::ObjTypeInfo
• statInit() : SVF::ThreadAPI
• statInOutPtsSize() : SVF::FlowSensitiveStat
• statNullPtr() : SVF::AndersenStat, SVF::FlowSensitiveStat
• statPtsSize() : SVF::FlowSensitiveStat
• steens : SVF::Steensgaard
• Steensgaard() : SVF::Steensgaard
• StInfo() : SVF::StInfo
• StInfoId : SVF::StInfo
• stInfos : SVF::IRGraph
• stmt : SVF::MTA::RaceOccurrence
• stmt1 : SVF::MTA::RacePair
• stmt2 : SVF::MTA::RacePair
• StmtDPItem() : SVF::StmtDPItem< LocCond >
• stmtReliance : SVF::VersionedFlowSensitive
• StmtVFGNode() : SVF::StmtVFGNode
• Store : SVF::ConstraintEdge, SVF::SVFStmt, SVF::SVFValue
• store() : SVF::AbstractState, SVF::RelExeState
• store2ChiSetMap : SVF::MemSSA
• StoreCGEdge() : SVF::StoreCGEdge
• StoreCGEdgeSet : SVF::ConstraintGraph
• STORECHI : SVF::MemSSA, SVF::SVFG
• StoreCHI() : SVF::StoreCHI< Cond >
• storeDstNodes : SVF::AliasDDAClient
• storeEdgeLabelCounter : SVF::SVFStmt
• storeInEdges : SVF::ConstraintNode
• StoreMSSACHI : SVF::MSSADEF
• storeNodes : SVF::MTASVFGBuilder
• storeOutEdges : SVF::ConstraintNode
• storeSrcs : SVF::AndersenWaveDiff::LoadStoreState
• StoreStmt() : SVF::StoreStmt
• StoresToMRsMap : SVF::MRGenerator
• storesToMRsMap : SVF::MRGenerator
• StoresToPointsToMap : SVF::MRGenerator
• storesToPointsToMap : SVF::MRGenerator
• storeTime : SVF::FlowSensitive
• StoreToChiSetMap : SVF::MemSSA
• storeToDPMs : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• StoreToPMSetMap : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• storeValue() : SVF::AbstractInterpretation
• StoreVFGNode() : SVF::StoreVFGNode
• Strategy : SVF::NodeIDAllocator
• strategy : SVF::NodeIDAllocator
• STRCAT : SVF::AbsExtAPI
• STRCPY : SVF::AbsExtAPI
• stride : SVF::StInfo
• strides : SVF::ConstraintNode
• string : cJSON
• stripSpace() : SVF::GrammarBuilder
• strongUpdateOutFromIn() : SVF::FlowSensitive
• strRead() : SVF::AbsExtAPI
• strToKind() : SVF::GrammarBase
• strToSymbol() : SVF::GrammarBase
• strTrans() : SVF::CFGNormalizer
• Sub : SVF::BinaryOPStmt
• subNodes() : SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• Subset : SVF::AccessPath
• SuccAndCondPairVec : SVF::BranchStmt
• succBBs : SVF::SVFBasicBlock
• successorCache : SVF::MTASVFGBuilder
• successors : SVF::BranchStmt
• succMap : SVF::POCRSolver
• Superset : SVF::AccessPath
• supportsCurrentConfiguration() : SVF::FSMPTA< SVFGGraph >
• supVarArg : SVF::FunObjVar
• sval : SVF::ConstIntObjVar, SVF::ConstIntValVar
• SVFArrayTy : SVF::SVFType
• SVFArrayType() : SVF::SVFArrayType
• SVFBaseNode2LLVMValue : SVF::LLVMModuleSet
• SVFBaseNode2LLVMValueMap : SVF::LLVMModuleSet
• SVFBasicBlock() : SVF::SVFBasicBlock
• SVFBugEvent() : SVF::SVFBugEvent
• SVFBugReport() : SVF::SVFBugReport
• SVFFunctionTy : SVF::SVFType
• SVFFunctionType() : SVF::SVFFunctionType
• SVFG() : SVF::SVFG
• svfg : SVF::CFLVF, SVF::FlowSensitive, SVF::MTASlicerBase, SVF::ProgSlice, SVF::SlicedSVFGView, SVF::SrcSnkDDA, SVF::SVFGBuilder
• SVFGBuilder : SVF::SVFG, SVF::SVFGBuilder
• svfgBuilder : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FullSparseAbstractInterpretation
• SVFGEdgeK : SVF::ICFGEdge, SVF::VFGEdge
• SVFGEdgeSet : SVF::DDAPass, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SVFGBuilder, SVF::SVFGStat
• SVFGEdgeSetTy : SVF::CDGEdge, SVF::FlowSensitive, SVF::ICFGEdge, SVF::VFG, SVF::VFGEdge
• svfgHasSU : SVF::FlowSensitive
• SVFGNodeBS : SVF::LeakChecker, SVF::SrcSnkDDA
• SVFGNodeIDSet : SVF::MTASVFGBuilder
• SVFGNodeIDToNodeMapTy : SVF::SVFG
• svfgNodes : SVF::ValueFlowSlice
• SVFGNodeSet : SVF::CFLSVFGBuilder, SVF::MTASVFGBuilder, SVF::ProgSlice, SVF::SaberSVFGBuilder, SVF::SrcSnkDDA, SVF::SVFGOPT, SVF::SVFGStat
• SVFGNodeSetIter : SVF::ProgSlice, SVF::SrcSnkDDA
• svfgNodesToICFGNodes() : SVF::MTASlicerBase
• SVFGNodeToCondMap : SVF::ProgSlice
• svfgNodeToCondMap : SVF::ProgSlice
• SVFGNodeToCSIDMap : SVF::LeakChecker
• SVFGNodeToDPItemsMap : SVF::SrcSnkDDA
• SVFGNodeToSliceMap : SVF::SrcSnkDDA
• SVFGNodeToSVFGNodeSetMap : SVF::ProgSlice, SVF::SaberCondAllocator
• SVFGOPT() : SVF::SVFGOPT
• svfgOptTimeEnd : SVF::SVFGStat
• svfgOptTimeStart : SVF::SVFGStat
• SVFGSCC : SVF::DDAPass, SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SVFGStat
• SVFGSCCDetection() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• SVFGStat() : SVF::SVFGStat
• svfgStat() : SVF::FlowSensitive
• SVFGWithIndCall : SVF::SVFGBuilder
• SVFGWithIndirectCall : SVF::Options
• SVFGWithPostOpts : SVF::SVFGBuilder
• svfI8Ty : SVF::SVFType
• SVFIntegerTy : SVF::SVFType
• SVFIntegerType() : SVF::SVFIntegerType
• SVFIR() : SVF::SVFIR, SVF::SVFVar
• svfir : SVF::AbsExtAPI, SVF::AbstractInterpretation, SVF::AEWTO, SVF::CFLBase, SVF::LLVMModuleSet, SVF::MTASlicerBase, SVF::SlicedMTA, SVF::SlicedSVFIRView, SVF::SymbolTableBuilder
• SVFIR2AbsState : SVF::AbstractState, SVF::RelExeState
• SVFIRBuilder : SVF::BaseObjVar, SVF::ExtAPI, SVF::FunObjVar, SVF::IntraCFGEdge, SVF::IRGraph, SVF::LLVMModuleSet, SVF::SVFBasicBlock, SVF::SVFIR, SVF::SVFIRBuilder, SVF::SVFVar, SVF::SymbolTableBuilder
• SVFLoop() : SVF::SVFLoop
• SVFLoopAndDomInfo() : SVF::SVFLoopAndDomInfo
• SVFLoopVec : SVF::ICFG
• SVFMain : SVF::Options
• SVFOtherTy : SVF::SVFType
• SVFOtherType() : SVF::SVFOtherType
• SVFPointerTy : SVF::SVFType
• SVFPointerType() : SVF::SVFPointerType
• svfPtrTy : SVF::SVFType
• SVFStat() : SVF::SVFStat
• SVFStmt() : SVF::SVFStmt
• svfStmt : SVF::StmtVFGNode
• SVFStmtList : SVF::ICFGNode, SVF::MemSSA, SVF::MRGenerator, SVF::SVFIR
• SVFStmtSet : SVF::IRGraph, SVF::VFG
• SVFStmtSetTy : SVF::SVFStmt
• SVFStmtToStmtVFGNodeMap : SVF::VFG
• SVFStmtToStmtVFGNodeMapTy : SVF::VFG
• SVFStructTy : SVF::SVFType
• SVFStructType() : SVF::SVFStructType
• SVFTy : SVF::SVFType
• SVFTyKind : SVF::SVFType
• SVFType() : SVF::SVFType
• SVFTypeLocSetsPair : SVF::SVFIR
• svfTypes : SVF::IRGraph
• SVFTypeSet : SVF::IRGraph
• SVFValue() : SVF::SVFValue
• SVFVar() : SVF::SVFVar
• SVFVarSet : SVF::VFG
• SVFVarToActualParmMap : SVF::VFG
• SVFVarToActualParmMapTy : SVF::VFG
• SVFVarToActualRetMap : SVF::VFG
• SVFVarToActualRetMapTy : SVF::VFG
• SVFVarToBinaryOPVFGNodeMap : SVF::VFG
• SVFVarToBinaryOPVFGNodeMapTy : SVF::VFG
• SVFVarToBranchVFGNodeMap : SVF::VFG
• SVFVarToBranchVFGNodeMapTy : SVF::VFG
• SVFVarToCmpVFGNodeMap : SVF::VFG
• SVFVarToCmpVFGNodeMapTy : SVF::VFG
• SVFVarToFormalParmMap : SVF::VFG
• SVFVarToFormalParmMapTy : SVF::VFG
• SVFVarToFormalRetMap : SVF::VFG
• SVFVarToFormalRetMapTy : SVF::VFG
• SVFVarToIntraPHIVFGNodeMap : SVF::VFG
• SVFVarToPHIVFGNodeMapTy : SVF::VFG
• SVFVarToUnaryOPVFGNodeMap : SVF::VFG
• SVFVarToUnaryOPVFGNodeMapTy : SVF::VFG
• SymblicAbstractionTest() : SymblicAbstractionTest
• Symbol : SVF::CFLGraph, SVF::CFLGraphBuilder, SVF::CFLSolver, SVF::GrammarBase, SVF::GrammarBase::Symbol
• SymbolMap : SVF::GrammarBase
• SymbolSet : SVF::GrammarBase
• SymbolTableBuilder : SVF::IRGraph, SVF::LLVMModuleSet, SVF::ObjTypeInfo, SVF::SymbolTableBuilder
• symJoinLoop : SVF::MHP
• SymJoinToLoopMap : SVF::MHP
• SymTabPrint : SVF::Options
• symToStrDump() : SVF::GrammarBase
• SYMTYPE : SVF::IRGraph
• szudzik() : SVF::Hash< std::pair< S, T > >