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

- w -

• Wall : SVF::SVFStat
• weakUpdateOutFromIn() : SVF::FlowSensitive
• what() : SVF::AEException
• widen_with() : SVF::AbstractValue, SVF::IntervalValue
• WidenDelay : SVF::Options
• widening() : SVF::AbstractState
• Word : SVF::CoreBitVector
• word() : SVF::SparseBitVectorElement< ElementSize >
• wordIt : SVF::CoreBitVector::CoreBitVectorIterator
• WordNumber : SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• words : SVF::CoreBitVector
• WordSize : SVF::CoreBitVector
• worklist : SVF::CFLSolver
• WorkList : SVF::CFLSolver, SVF::CFLSVFGBuilder, SVF::CHGBuilder, SVF::CHGraph, SVF::ConstraintGraph
• worklist : SVF::GraphReachSolver< GraphType, DPIm >
• WorkList : SVF::GraphReachSolver< GraphType, DPIm >, SVF::ICFGBuilder, SVF::LeakChecker, SVF::MRGenerator, SVF::SaberSVFGBuilder, SVF::SrcSnkDDA
• worklist : SVF::SrcSnkSolver< GraphType, DPIm >
• WorkList : SVF::SrcSnkSolver< GraphType, DPIm >
• worklist : SVF::SVFGOPT
• WorkList : SVF::SVFGOPT, SVF::WPASolver< GraphType >
• worklist : SVF::WPASolver< GraphType >
• WorkStack : SVF::CSC
• WPAFSSolver() : SVF::WPAFSSolver< GraphType >
• WPAMinimumSolver() : SVF::WPAMinimumSolver< GraphType >
• WPANum : SVF::Options
• WPAPass() : SVF::WPAPass
• WPASCCSolver() : SVF::WPASCCSolver< GraphType >
• WPASolver() : SVF::WPASolver< GraphType >
• wrapped() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• WriteAnder : SVF::Options
• writeEdge() : SVF::GraphWriter< GraphType >
• writeFooter() : SVF::GraphWriter< GraphType >
• writeGepObjVarMapToFile() : SVF::BVDataPTAImpl
• writeGraph() : SVF::GraphWriter< GraphType >
• WriteGraphToFile() : SVF::GraphPrinter
• writeHeader() : SVF::GraphWriter< GraphType >
• writeNode() : SVF::GraphWriter< GraphType >
• writeNodes() : SVF::GraphWriter< GraphType >
• writeObjVarToFile() : SVF::BVDataPTAImpl
• writePtsResultToFile() : SVF::BVDataPTAImpl
• WriteSVFG : SVF::Options
• writeToFile() : SVF::BVDataPTAImpl, SVF::SVFG
• writeVersionedAnalysisResultToFile() : SVF::VersionedFlowSensitive
• WTO() : SVF::WTO< GraphT >
• WTOComponent() : SVF::WTOComponent< GraphT >
• WTOComponentPtr : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >
• WTOComponentRefList : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >
• WTOComponentRefSet : SVF::WTO< GraphT >
• WTOComponentT : SVF::WTO< GraphT >, SVF::WTOCycle< GraphT >
• WTOComponentVisitor() : SVF::WTOComponentVisitor< GraphT >
• WTOCT : SVF::WTOComponent< GraphT >
• WTOCycle() : SVF::WTOCycle< GraphT >
• WTOCycleDepth() : SVF::WTOCycleDepth< GraphT >
• WTOCycleDepthBuilder() : SVF::WTO< GraphT >::WTOCycleDepthBuilder
• WTOCycleDepthPtr : SVF::WTO< GraphT >
• WTOCycleT : SVF::WTO< GraphT >, SVF::WTOComponentVisitor< GraphT >
• WTONode() : SVF::WTONode< GraphT >
• WTONodeT : SVF::WTO< GraphT >, SVF::WTOComponentVisitor< GraphT >