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

- s -

• SaberCheckerAPI() : SVF::SaberCheckerAPI
• SaberCondAllocator() : SVF::SaberCondAllocator
• SaberSVFGBuilder() : SVF::SaberSVFGBuilder
• safeAdd() : SVF::BoundedDouble, SVF::BoundedInt
• safeDiv() : SVF::BoundedDouble
• safeMul() : SVF::BoundedDouble, SVF::BoundedInt
• sameLoopTripCount() : SVF::ForkJoinAnalysis
• sanitizePts() : SVF::Andersen
• sanityCheck() : SVF::SVFIRBuilder
• 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
• selectClient() : SVF::DDAPass
• selectLargestSizedType() : SVF::ObjTypeInference
• SelectStmt() : SVF::SelectStmt
• 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
• sfvgOptEnd() : SVF::SVFGStat
• sfvgOptStart() : SVF::SVFGStat
• simplify() : SVF::Z3Expr
• sinksBegin() : SVF::ProgSlice, SVF::SrcSnkDDA
• sinksEnd() : SVF::ProgSlice, SVF::SrcSnkDDA
• size() : SVF::AddressValue, SVF::CondStdSet< Element >, SVF::FIFOWorkList< Data >, SVF::FILOWorkList< Data >
• SkipRecursiveCall() : SVF::AbstractInterpretation
• sliceState() : SVF::AbstractState
• solve() : SVF::CFLAlias, SVF::CFLBase, SVF::CFLSolver, SVF::WPAMinimumSolver< GraphType >, SVF::WPASCCSolver< GraphType >
• solveAndwritePtsToFile() : SVF::AndersenBase, SVF::FlowSensitive, SVF::VersionedFlowSensitive
• solveConstraints() : SVF::AndersenBase, SVF::FlowSensitive
• solveWorklist() : SVF::AndersenSCD, SVF::AndersenWaveDiff, SVF::Steensgaard, SVF::WPASolver< GraphType >
• sortPointsTo() : SVF::MRGenerator
• sourcesBegin() : SVF::SrcSnkDDA
• sourcesEnd() : SVF::SrcSnkDDA
• SparseBitVector() : SVF::SparseBitVector< ElementSize >
• SparseBitVectorElement() : SVF::SparseBitVectorElement< ElementSize >
• SparseBitVectorIterator() : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• SrcSnkDDA() : SVF::SrcSnkDDA
• SrcSnkSolver() : SVF::SrcSnkSolver< GraphType, DPIm >
• SSARename() : SVF::MemSSA
• SSARenameBB() : SVF::MemSSA
• StackObjVar() : SVF::StackObjVar
• startClk() : SVF::SVFStat
• startNewPTCompFromLoadSrc() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• startNewPTCompFromStoreDst() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• statAddrVarPtsSize() : SVF::FlowSensitiveStat
• statInit() : SVF::ThreadAPI
• statInOutPtsSize() : SVF::FlowSensitiveStat
• statNullPtr() : SVF::AndersenStat, SVF::FlowSensitiveStat
• statPtsSize() : SVF::FlowSensitiveStat
• Steensgaard() : SVF::Steensgaard
• StInfo() : SVF::StInfo
• StmtDPItem() : SVF::StmtDPItem< LocCond >
• StmtVFGNode() : SVF::StmtVFGNode
• store() : SVF::AbstractState, SVF::RelExeState
• StoreCGEdge() : SVF::StoreCGEdge
• StoreCHI() : SVF::StoreCHI< Cond >
• StoreStmt() : SVF::StoreStmt
• storeValue() : SVF::AbstractState
• StoreVFGNode() : SVF::StoreVFGNode
• stripArray() : SVF::DCHGraph
• stripQualifiers() : SVF::DCHGraph
• stripSpace() : SVF::GrammarBuilder
• strongUpdateOutFromIn() : SVF::FlowSensitive
• strRead() : SVF::AbsExtAPI
• strToKind() : SVF::GrammarBase
• strToSymbol() : SVF::GrammarBase
• strTrans() : SVF::CFGNormalizer
• subNodes() : SVF::SCCDetection< GraphType >::GNodeSCCInfo, SVF::SCCDetection< GraphType >
• SVFArrayType() : SVF::SVFArrayType
• SVFBasicBlock() : SVF::SVFBasicBlock
• SVFBugEvent() : SVF::SVFBugEvent
• SVFBugReport() : SVF::SVFBugReport
• SVFFunctionType() : SVF::SVFFunctionType
• SVFG() : SVF::SVFG
• SVFGBuilder() : SVF::SVFGBuilder
• SVFGOPT() : SVF::SVFGOPT
• SVFGSCCDetection() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• svfgStat() : SVF::FlowSensitive
• SVFGStat() : SVF::SVFGStat
• SVFIntegerType() : SVF::SVFIntegerType
• SVFIR() : SVF::SVFIR
• SVFIRBuilder() : SVF::SVFIRBuilder
• SVFLoop() : SVF::SVFLoop
• SVFLoopAndDomInfo() : SVF::SVFLoopAndDomInfo
• SVFOtherType() : SVF::SVFOtherType
• SVFPointerType() : SVF::SVFPointerType
• SVFStat() : SVF::SVFStat
• SVFStmt() : SVF::SVFStmt
• SVFStructType() : SVF::SVFStructType
• SVFType() : SVF::SVFType
• SVFValue() : SVF::SVFValue
• SVFVar() : SVF::SVFVar
• SymblicAbstractionTest() : SymblicAbstractionTest
• Symbol() : SVF::GrammarBase::Symbol
• SymbolTableBuilder() : SVF::SymbolTableBuilder
• symToStrDump() : SVF::GrammarBase
• szudzik() : SVF::Hash< std::pair< S, T > >