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
• SB_FESIBLE : SVF::Annotator
• SB_INFESIBLE : SVF::Annotator
• SB_SLICESINK : SVF::Annotator
• SB_SLICESOURCE : SVF::Annotator
• sbv : SVF::PointsTo
• SBV : SVF::PointsTo
• sbvIt : SVF::PointsTo::PointsToIterator
• SCALAR : SVF::DCHNode
• SCC : SVF::MRGenerator, SVF::WPASolver< GraphType >
• scc : SVF::WPASolver< GraphType >
• sccCandidates : SVF::AndersenSCD
• SCCDetect() : SVF::Andersen, SVF::AndersenSCD, SVF::FlowSensitive, 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
• SDiv : SVF::BinaryOPStmt
• secondRHSToProds : SVF::CFGrammar
• Select : SVF::SVFStmt
• selectClient() : SVF::DDAPass
• selectLargestSizedType() : SVF::ObjTypeInference
• SelectStmt() : SVF::SelectStmt
• SelfCycle : SVF::Options
• 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
• setActualINDef() : SVF::SVFGOPT
• setAllReachable() : SVF::ProgSlice
• setAttributeKinds() : SVF::GrammarBase
• setBasicBlockGraph() : SVF::FunObjVar
• setBB() : SVF::SVFStmt
• setBottom() : SVF::AddressValue
• setBranchCond() : SVF::SaberCondAllocator
• setBranchCondVal() : SVF::IntraCFGEdge
• setByteSizeOfObj() : SVF::ObjTypeInfo
• setCallGraph() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::SVFIR
• setCallGraphSCC() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• 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
• 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::DCHNode, SVF::ObjTypeInfo
• setFldIdx() : SVF::AccessPath
• setFormalOUTDef() : SVF::SVFGOPT
• setFun() : SVF::SVFBasicBlock
• 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
• setInloop() : SVF::CxtThread
• setInSCC() : SVF::SCCDetection< GraphType >
• setKindToAttrsMap() : SVF::GrammarBase
• setLoc() : SVF::StmtDPItem< LocCond >
• setLocVar() : SVF::StmtDPItem< LocCond >
• 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, SVF::DCHNode
• 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
• setOffset() : SVF::DCHEdge
• 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
• setPureAbstract() : SVF::CHNode, SVF::DCHNode
• 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
• setSaberCondAllocator() : SVF::SaberSVFGBuilder
• setScalar() : SVF::DCHNode
• setSignAndWidth() : SVF::SVFIntegerType
• setSourceLoc() : SVF::SVFValue
• setStartKind() : SVF::GrammarBase
• setStat() : SVF::SVFBugReport
• setSubs() : SVF::ConstraintGraph
• setTemplate() : SVF::CHNode, SVF::DCHNode
• setTerminals() : SVF::GrammarBase
• setTokeepActualOutFormalIn() : SVF::SVFGOPT
• setTokeepAllSelfCycle() : SVF::SVFGOPT
• setTokeepContextSelfCycle() : SVF::SVFGOPT
• setTop() : SVF::AddressValue
• 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, SVF::DCHNode
• 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
• 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
• 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 >
• SkipRecursiveCall() : SVF::AbstractInterpretation
• 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
• solver : SVF::CFLBase, SVF::Z3Expr
• solveTime : SVF::FlowSensitive
• solveWorklist() : SVF::AndersenSCD, SVF::AndersenWaveDiff, SVF::Steensgaard, SVF::WPASolver< GraphType >
• sortPointsTo() : SVF::MRGenerator
• SourceInst : SVF::SVFBugEvent
• sourceLoc : SVF::SVFValue
• sources : SVF::SrcSnkDDA, SVF::SVFGStat
• sourcesBegin() : SVF::SrcSnkDDA
• sourcesEnd() : SVF::SrcSnkDDA
• SparseBitVector() : SVF::SparseBitVector< ElementSize >
• SparseBitVectorElement() : SVF::SparseBitVectorElement< ElementSize >
• SparseBitVectorIterator() : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• src : SVF::GenericEdge< NodeTy >
• 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
• 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
• STATIC_OBJ : SVF::ObjTypeInfo
• statInit() : SVF::ThreadAPI
• statInOutPtsSize() : SVF::FlowSensitiveStat
• statNullPtr() : SVF::AndersenStat, SVF::FlowSensitiveStat
• statPtsSize() : SVF::FlowSensitiveStat
• STD_DEF : SVF::DCHEdge
• steens : SVF::Steensgaard
• Steensgaard() : SVF::Steensgaard
• Steensgaard_WPA : SVF::PointerAnalysis
• StInfo() : SVF::StInfo
• stInfos : SVF::IRGraph
• StmtDPItem() : SVF::StmtDPItem< LocCond >
• stmtReliance : SVF::VersionedFlowSensitive
• StmtVFGNode() : SVF::StmtVFGNode
• store() : SVF::AbstractState
• Store : SVF::ConstraintEdge
• store() : SVF::RelExeState
• Store : SVF::SVFStmt, SVF::SVFValue
• store2ChiSetMap : SVF::MemSSA
• StoreCGEdge() : SVF::StoreCGEdge
• StoreCGEdgeSet : SVF::ConstraintGraph
• STORECHI : SVF::MemSSA
• StoreCHI() : SVF::StoreCHI< Cond >
• STORECHI : SVF::SVFG
• storeDstNodes : SVF::AliasDDAClient
• storeEdgeLabelCounter : SVF::SVFStmt
• storeInEdges : SVF::ConstraintNode
• StoreMSSACHI : SVF::MSSADEF
• storeOutEdges : SVF::ConstraintNode
• 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::AbstractState
• StoreVFGNode() : SVF::StoreVFGNode
• strategy : SVF::NodeIDAllocator
• Strategy : SVF::NodeIDAllocator
• STRCAT : SVF::AbsExtAPI
• STRCPY : SVF::AbsExtAPI
• stride : SVF::StInfo
• strides : SVF::ConstraintNode
• string : cJSON
• stripArray() : SVF::DCHGraph
• stripQualifiers() : SVF::DCHGraph
• 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
• successors : SVF::BranchStmt
• succMap : SVF::POCRSolver
• super : llvm::generic_bridge_gep_type_iterator< ItTy >
• Superset : SVF::AccessPath
• 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::CFLVF, SVF::FlowSensitive, SVF::ProgSlice, SVF::SrcSnkDDA
• SVFG() : SVF::SVFG
• svfg : SVF::SVFGBuilder
• svfgBuilder : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• SVFGBuilder : SVF::SVFG, SVF::SVFGBuilder
• 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
• SVFGNodeIDToNodeMapTy : SVF::SVFG
• SVFGNodeSet : SVF::CFLSVFGBuilder, SVF::ProgSlice, SVF::SaberSVFGBuilder, SVF::SrcSnkDDA, SVF::SVFGOPT, SVF::SVFGStat
• SVFGNodeSetIter : SVF::ProgSlice, SVF::SrcSnkDDA
• 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::FlowSensitive
• SVFGStat() : SVF::SVFGStat
• SVFGWithIndCall : SVF::SVFGBuilder
• SVFGWithIndirectCall : SVF::Options
• svfI8Ty : SVF::SVFType
• SVFIntegerTy : SVF::SVFType
• SVFIntegerType() : SVF::SVFIntegerType
• svfir : SVF::AbsExtAPI, SVF::AbstractInterpretation, SVF::CFLBase, SVF::LLVMModuleSet
• SVFIR() : SVF::SVFIR, SVF::SVFVar
• svfir : 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
• SVFIRReader : SVF::AccessPath, SVF::AddrStmt, SVF::ArgValVar, SVF::AssignStmt, SVF::BaseObjVar, SVF::BasicBlockEdge, SVF::BinaryOPStmt, SVF::BlackHoleValVar, SVF::BranchStmt, SVF::CallCFGEdge, SVF::CallICFGNode, SVF::CallPE, SVF::CHEdge, SVF::CHGraph, SVF::CHNode, SVF::CmpStmt, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::ConstFPObjVar, SVF::ConstFPValVar, SVF::ConstIntObjVar, SVF::ConstIntValVar, SVF::ConstNullPtrObjVar, SVF::ConstNullPtrValVar, SVF::CopyStmt, SVF::DummyObjVar, SVF::DummyValVar, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::FunObjVar, SVF::FunValVar, SVF::GenericEdge< NodeTy >, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::GenericNode< NodeTy, EdgeTy >, SVF::GepObjVar, SVF::GepStmt, SVF::GepValVar, SVF::GlobalObjVar, SVF::GlobalValVar, SVF::HeapObjVar, SVF::ICFG, SVF::ICFGEdge, SVF::ICFGNode, SVF::IntraCFGEdge, SVF::IntraICFGNode, SVF::IRGraph, SVF::LoadStmt, SVF::MultiOpndStmt, SVF::NodeIDAllocator, SVF::ObjTypeInfo, SVF::ObjVar, SVF::PhiStmt, SVF::RetCFGEdge, SVF::RetICFGNode, SVF::RetPE, SVF::RetValPN, SVF::SelectStmt, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >, SVF::StackObjVar, SVF::StInfo, SVF::StoreStmt, SVF::SVFArrayType, SVF::SVFBasicBlock, SVF::SVFFunctionType, SVF::SVFIntegerType, SVF::SVFIR, SVF::SVFLoop, SVF::SVFLoopAndDomInfo, SVF::SVFOtherType, SVF::SVFPointerType, SVF::SVFStmt, SVF::SVFStructType, SVF::SVFType, SVF::SVFVar, SVF::TDForkPE, SVF::TDJoinPE, SVF::UnaryOPStmt, SVF::ValVar, SVF::VarArgValPN
• SVFIRWriter : SVF::AccessPath, SVF::AddrStmt, SVF::ArgValVar, SVF::AssignStmt, SVF::BaseObjVar, SVF::BasicBlockEdge, SVF::BinaryOPStmt, SVF::BlackHoleValVar, SVF::BranchStmt, SVF::CallCFGEdge, SVF::CallICFGNode, SVF::CallPE, SVF::CHEdge, SVF::CHGraph, SVF::CHNode, SVF::CmpStmt, SVF::ConstAggObjVar, SVF::ConstAggValVar, SVF::ConstDataObjVar, SVF::ConstDataValVar, SVF::ConstFPObjVar, SVF::ConstFPValVar, SVF::ConstIntObjVar, SVF::ConstIntValVar, SVF::ConstNullPtrObjVar, SVF::ConstNullPtrValVar, SVF::CopyStmt, SVF::DummyObjVar, SVF::DummyValVar, SVF::FunEntryICFGNode, SVF::FunExitICFGNode, SVF::FunObjVar, SVF::FunValVar, SVF::GenericEdge< NodeTy >, SVF::GenericGraph< NodeTy, EdgeTy >, SVF::GenericNode< NodeTy, EdgeTy >, SVF::GepObjVar, SVF::GepStmt, SVF::GepValVar, SVF::GlobalObjVar, SVF::GlobalValVar, SVF::HeapObjVar, SVF::ICFG, SVF::ICFGEdge, SVF::ICFGNode, SVF::IntraCFGEdge, SVF::IntraICFGNode, SVF::IRGraph, SVF::LoadStmt, SVF::MultiOpndStmt, SVF::NodeIDAllocator, SVF::ObjTypeInfo, SVF::ObjVar, SVF::PhiStmt, SVF::RetCFGEdge, SVF::RetICFGNode, SVF::RetPE, SVF::RetValPN, SVF::SelectStmt, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVectorElement< ElementSize >, SVF::StackObjVar, SVF::StInfo, SVF::StoreStmt, SVF::SVFArrayType, SVF::SVFBasicBlock, SVF::SVFFunctionType, SVF::SVFIntegerType, SVF::SVFIR, SVF::SVFLoop, SVF::SVFLoopAndDomInfo, SVF::SVFOtherType, SVF::SVFPointerType, SVF::SVFStmt, SVF::SVFStructType, SVF::SVFType, SVF::SVFVar, SVF::TDForkPE, SVF::TDJoinPE, SVF::UnaryOPStmt, SVF::ValVar, SVF::VarArgValPN
• 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
• SVFStmtList : SVF::ICFGNode, SVF::MemSSA, SVF::MRGenerator, SVF::SVFIR
• SVFStmtSet : SVF::IRGraph, SVF::VFG
• SVFStmtSetTy : SVF::SVFStmt
• 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
• SVFVarList : SVF::SVFIR
• 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
• SymTabPrint : SVF::Options
• symToStrDump() : SVF::GrammarBase
• SYMTYPE : SVF::IRGraph
• szudzik() : SVF::Hash< std::pair< S, T > >