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

- s -

• saberCondAllocator : SVF::SaberSVFGBuilder, SVF::SrcSnkDDA
• SABERFULLSVFG : SVF::Options
• sbv : SVF::PointsTo
• sbvIt : SVF::PointsTo::PointsToIterator
• scc : SVF::ICFGWTO, SVF::WPASolver< GraphType >
• sccCandidates : SVF::AndersenSCD
• sccTime : SVF::FlowSensitive
• scdAndersen : SVF::AndersenSCD
• scope : SVF::MTASVFGBuilder::ThreadVFBuildConfig
• secondRHSToProds : SVF::CFGrammar
• selectedThreadVFCandidates : SVF::SlicedMTA
• SelfCycle : SVF::Options
• sfrAndersen : SVF::AndersenSFR
• sfrObjNodes : SVF::AndersenSFR
• ShowHiddenNode : SVF::Options
• ShowSVFIRValue : SVF::Options
• signAndWidth : SVF::SVFIntegerType
• singleRHSToProds : SVF::CFGrammar
• singleSlicedNodes : SVF::SlicedMTA
• singleSlicedSVFGNodeIds : SVF::SlicedMTA
• singleSlicer : SVF::SlicedMTA
• sinks : SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGStat
• slicedLockAnalysis : SVF::SlicedMTA
• slicedMHP : SVF::SlicedMTA
• slicedSVFGView : SVF::SlicedMTA
• slicedTCT : SVF::SlicedMTA
• solveAll : SVF::DDAClient
• solveGraph : SVF::FSMPTA< SVFGGraph >
• solveNodeStack : SVF::FSMPTA< SVFGGraph >
• solver : SVF::CFLBase, SVF::Z3Expr
• solveSCC : SVF::FSMPTA< SVFGGraph >
• solveTime : SVF::FlowSensitive
• sourceLoc : SVF::SVFValue
• sourceNodeId : SVF::MTASVFGBuilder::ThreadVFCandidate
• sources : SVF::SrcSnkDDA, SVF::SVFGStat
• spanHeadCache : SVF::MTASVFGBuilder
• spanTailCache : SVF::MTASVFGBuilder
• src : SVF::GenericEdge< NodeTy >, SVF::SlicedCallGraphEdgeRef, SVF::SlicedCGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeIterImpl< Forward >, SVF::SlicedICFGEdgeRef, SVF::SlicedPAGEdgeIterImpl< Forward >, SVF::SlicedPAGEdgeRef, SVF::SlicedSVFGEdgeIterImpl< Forward >, SVF::SlicedSVFGEdgeRef
• srcToCSIDMap : SVF::LeakChecker
• start : SVF::ScopedPhaseTimer
• startKind : SVF::CFLGraph, SVF::GrammarBase
• startTime : SVF::SVFStat
• stat : SVF::AbstractInterpretation, SVF::MemSSA, SVF::MTA, SVF::PointerAnalysis, SVF::SVFG
• StatBudget : SVF::Options
• stateRepresentation : SVF::MHP
• steens : SVF::Steensgaard
• StInfoId : SVF::StInfo
• stInfos : SVF::IRGraph
• stmt : SVF::MTA::RaceOccurrence
• stmt1 : SVF::MTA::RacePair
• stmt2 : SVF::MTA::RacePair
• stmtReliance : SVF::VersionedFlowSensitive
• store2ChiSetMap : SVF::MemSSA
• StoreCGEdgeSet : SVF::ConstraintGraph
• storeDstNodes : SVF::AliasDDAClient
• storeEdgeLabelCounter : SVF::SVFStmt
• storeInEdges : SVF::ConstraintNode
• storeNodes : SVF::MTASVFGBuilder
• storeOutEdges : SVF::ConstraintNode
• storeSrcs : SVF::AndersenWaveDiff::LoadStoreState
• storesToMRsMap : SVF::MRGenerator
• storesToPointsToMap : SVF::MRGenerator
• storeTime : SVF::FlowSensitive
• storeToDPMs : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• strategy : SVF::NodeIDAllocator
• stride : SVF::StInfo
• strides : SVF::ConstraintNode
• string : cJSON
• succBBs : SVF::SVFBasicBlock
• successorCache : SVF::MTASVFGBuilder
• successors : SVF::BranchStmt
• succMap : SVF::POCRSolver
• supVarArg : SVF::FunObjVar
• sval : SVF::ConstIntObjVar, SVF::ConstIntValVar
• SVFBaseNode2LLVMValue : SVF::LLVMModuleSet
• svfg : SVF::CFLVF, SVF::FlowSensitive, SVF::MTASlicerBase, SVF::ProgSlice, SVF::SlicedSVFGView, SVF::SrcSnkDDA, SVF::SVFGBuilder
• svfgBuilder : SVF::DDAVFSolver< CVar, CPtSet, DPIm >, SVF::FullSparseAbstractInterpretation
• svfgHasSU : SVF::FlowSensitive
• svfgNodes : SVF::ValueFlowSlice
• svfgNodeToCondMap : SVF::ProgSlice
• svfgOptTimeEnd : SVF::SVFGStat
• svfgOptTimeStart : SVF::SVFGStat
• SVFGWithIndCall : SVF::SVFGBuilder
• SVFGWithIndirectCall : SVF::Options
• SVFGWithPostOpts : SVF::SVFGBuilder
• svfI8Ty : SVF::SVFType
• svfir : SVF::AbsExtAPI, SVF::AbstractInterpretation, SVF::AEWTO, SVF::CFLBase, SVF::LLVMModuleSet, SVF::MTASlicerBase, SVF::SlicedMTA, SVF::SlicedSVFIRView, SVF::SymbolTableBuilder
• SVFMain : SVF::Options
• svfPtrTy : SVF::SVFType
• svfStmt : SVF::StmtVFGNode
• SVFStmtToStmtVFGNodeMap : SVF::VFG
• svfTypes : SVF::IRGraph
• SVFVarToActualParmMap : SVF::VFG
• SVFVarToActualRetMap : SVF::VFG
• SVFVarToBinaryOPVFGNodeMap : SVF::VFG
• SVFVarToBranchVFGNodeMap : SVF::VFG
• SVFVarToCmpVFGNodeMap : SVF::VFG
• SVFVarToFormalParmMap : SVF::VFG
• SVFVarToFormalRetMap : SVF::VFG
• SVFVarToIntraPHIVFGNodeMap : SVF::VFG
• SVFVarToUnaryOPVFGNodeMap : SVF::VFG
• symJoinLoop : SVF::MHP
• SymTabPrint : SVF::Options