Here is a list of all variables with links to the classes they belong to:
- s -
- saberCondAllocator : SVF::SaberSVFGBuilder, SVF::SrcSnkDDA
- SABERFULLSVFG : SVF::Options
- SB_FESIBLE : SVF::Annotator
- SB_INFESIBLE : SVF::Annotator
- SB_SLICESINK : SVF::Annotator
- SB_SLICESOURCE : SVF::Annotator
- sbv : SVF::PointsTo
- sbvIt : SVF::PointsTo::PointsToIterator
- scc : SVF::WPASolver< GraphType >
- sccCandidates : SVF::AndersenSCD
- sccTime : SVF::FlowSensitive
- scdAndersen : SVF::AndersenSCD
- secondRHSToProds : SVF::CFGrammar
- SelfCycle : SVF::Options
- sfrAndersen : SVF::AndersenSFR
- sfrObjNodes : SVF::AndersenSFR
- ShowHiddenNode : SVF::Options
- ShowSVFIRValue : SVF::Options
- signAndWidth : SVF::SVFIntegerType
- singleRHSToProds : SVF::CFGrammar
- sinks : SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGStat
- solveAll : SVF::DDAClient
- solver : SVF::CFLBase, SVF::Z3Expr
- solveTime : SVF::FlowSensitive
- sourceLoc : SVF::SVFValue
- sources : SVF::SrcSnkDDA, SVF::SVFGStat
- src : SVF::GenericEdge< NodeTy >
- srcToCSIDMap : SVF::LeakChecker
- startKind : SVF::CFLGraph, SVF::GrammarBase
- startTime : SVF::SVFStat
- stat : SVF::AbstractInterpretation, SVF::MemSSA, SVF::MTA, SVF::PointerAnalysis, SVF::SVFG
- StatBudget : SVF::Options
- steens : SVF::Steensgaard
- stInfos : SVF::IRGraph
- stmtReliance : SVF::VersionedFlowSensitive
- store2ChiSetMap : SVF::MemSSA
- StoreCGEdgeSet : SVF::ConstraintGraph
- storeDstNodes : SVF::AliasDDAClient
- storeEdgeLabelCounter : SVF::SVFStmt
- storeInEdges : SVF::ConstraintNode
- storeOutEdges : SVF::ConstraintNode
- 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
- successors : SVF::BranchStmt
- succMap : SVF::POCRSolver
- supVarArg : SVF::FunObjVar
- sval : SVF::ConstIntObjVar, SVF::ConstIntValVar
- SVFBaseNode2LLVMValue : SVF::LLVMModuleSet
- svfg : SVF::CFLVF, SVF::FlowSensitive, SVF::ProgSlice, SVF::SrcSnkDDA, SVF::SVFGBuilder
- svfgBuilder : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
- svfgHasSU : SVF::FlowSensitive
- svfgNodeToCondMap : SVF::ProgSlice
- svfgOptTimeEnd : SVF::SVFGStat
- svfgOptTimeStart : SVF::SVFGStat
- SVFGWithIndCall : SVF::SVFGBuilder
- SVFGWithIndirectCall : SVF::Options
- svfI8Ty : SVF::SVFType
- svfir : SVF::AbsExtAPI, SVF::AbstractInterpretation, SVF::CFLBase, SVF::LLVMModuleSet, SVF::SymbolTableBuilder
- SVFMain : SVF::Options
- svfPtrTy : SVF::SVFType
- svfTypes : SVF::IRGraph
- SymTabPrint : SVF::Options
