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

- o -

• O : SVF::GraphWriter< GraphType >
• object : SVF::DummyVersionPropSVFGNode
• ObjNode : SVF::SVFValue
• ObjSymbol : SVF::IRGraph
• objSymMap : SVF::LLVMModuleSet
• objSyms() : SVF::LLVMModuleSet
• ObjToClsNameSources : SVF::ObjTypeInference
• objToNSRevPtsMap : SVF::CondPTAImpl< Cond >
• ObjToVersionMap : SVF::VersionedFlowSensitive
• ObjTypeInference() : SVF::ObjTypeInference
• ObjTypeInfo() : SVF::ObjTypeInfo
• objTypeInfoMap : SVF::IRGraph
• objTyToNumFields() : SVF::ObjTypeInference
• ObjVar() : SVF::ObjVar
• objVarNum : SVF::IRGraph
• OCGDotGraph : SVF::Options
• offset : parse_buffer, printbuffer, SVF::CoreBitVector, SVF::DCHEdge
• onStack : SVF::VersionedFlowSensitive::SCC::NodeData
• onTheFlyCallGraphSolve() : SVF::BVDataPTAImpl, SVF::CFLAlias
• OnTheFlyIterBudgetForStat : SVF::PointerAnalysis
• onTheFlyThreadCallGraphSolve() : SVF::BVDataPTAImpl
• OOBResetVisited() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• OpCache : SVF::PersistentPointsToCache< Data >
• opcode : SVF::BinaryOPStmt
• OpCode : SVF::BinaryOPStmt, SVF::UnaryOPStmt
• opcode : SVF::UnaryOPStmt
• operator ReferenceT() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• operator u32_t() : SVF::GrammarBase::Symbol
• operator! : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• operator!=() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::AbstractState, SVF::BoundedDouble, SVF::BoundedInt, SVF::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CondVar< Cond >, SVF::ContextCond, SVF::CoreBitVector::CoreBitVectorIterator, SVF::CoreBitVector, SVF::CxtDPItem, SVF::CxtProc, SVF::CxtStmt, SVF::CxtStmtDPItem< LocCond >, SVF::CxtThread, SVF::CxtThreadProc, SVF::CxtThreadStmt, SVF::DPItem, SVF::GrammarBase::Symbol, SVF::IntervalValue, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo, SVF::PointsTo::PointsToIterator, SVF::RelExeState, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator, SVF::SparseBitVectorElement< ElementSize >, SVF::StmtDPItem< LocCond >, SVF::Z3Expr
• operator% : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• operator& : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::Z3Expr
• operator&& : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• operator&=() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >
• operator()() : Option< T >, OptionMap< T >, OptionMultiple< T >, std::hash< const SVF::CondVar< Cond > >, std::hash< const SVF::ContextCond >, std::hash< std::vector< T > >, std::hash< SVF::AccessPath >, std::hash< SVF::CondStdSet< Element > >, std::hash< SVF::CondVar< Cond > >, std::hash< SVF::ContextCond >, std::hash< SVF::CxtDPItem >, std::hash< SVF::CxtProc >, std::hash< SVF::CxtStmt >, std::hash< SVF::CxtStmtDPItem< LocCond > >, std::hash< SVF::CxtThread >, std::hash< SVF::CxtThreadProc >, std::hash< SVF::CxtThreadStmt >, std::hash< SVF::NodePair >, std::hash< SVF::PointsTo >, std::hash< SVF::RelExeState >, std::hash< SVF::SparseBitVector< N > >, std::hash< SVF::StmtDPItem< LocCond > >, std::hash< SVF::Z3Expr >, SVF::GenericEdge< NodeTy >::equalGEdge, SVF::GrammarBase::SymbolHash, SVF::GrammarBase::SymbolVectorHash, SVF::Hash< T >, SVF::Hash< CoreBitVector >, SVF::Hash< NodePair >, SVF::Hash< std::pair< S, T > >, SVF::MemRegion::equalMemRegion, SVF::SVFUtil::equalNodeBS, SVF::SVFUtil::equalPointsTo
• operator*() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::BoundedDouble, SVF::BoundedInt, SVF::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::CoreBitVector::CoreBitVectorIterator, SVF::IntervalValue, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy >, SVF::pointee_iter< WrappedIteratorT, T >, SVF::pointer_iterator< WrappedIteratorT, T >, SVF::PointsTo::PointsToIterator, SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator, SVF::Z3Expr
• operator+() : SVF::AccessPath, SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::Z3Expr
• operator++() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::CoreBitVector::CoreBitVectorIterator, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo::PointsToIterator, SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator
• operator+=() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• operator- : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::Z3Expr
• operator--() : SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• operator-=() : SVF::CoreBitVector, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::PointsTo
• operator->() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• operator/ : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::Z3Expr
• operator<() : SVF::AbstractState, SVF::AccessPath, SVF::BoundedDouble, SVF::BoundedInt, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CondVar< Cond >, SVF::ContextCond, SVF::CxtDPItem, SVF::CxtProc, SVF::CxtStmt, SVF::CxtStmtDPItem< LocCond >, SVF::CxtThread, SVF::CxtThreadProc, SVF::CxtThreadStmt, SVF::DPItem, SVF::GrammarBase::Symbol, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::MSSADEF, SVF::MSSAMU< Cond >, SVF::POCRHybridSolver::TreeNode, SVF::RelExeState, SVF::StmtDPItem< LocCond >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator<< : SVF::BasicBlockEdge, SVF::BoundedDouble, SVF::BoundedInt, SVF::CallGraphEdge, SVF::CallGraphNode, SVF::CondVar< Cond >, SVF::ConstraintNode, SVF::ICFGEdge, SVF::ICFGNode, SVF::IntervalValue, SVF::SVFBasicBlock, SVF::SVFStmt, SVF::SVFVar, SVF::VFGEdge, SVF::VFGNode, SVF::WTO< GraphT >, SVF::WTOComponent< GraphT >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator<= : SVF::BoundedDouble, SVF::BoundedInt, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator=() : SVF::AbstractState, SVF::AbstractValue, SVF::AccessPath, SVF::ActualRetVFGNode, SVF::AddrCGEdge, SVF::AddressValue, SVF::AddrStmt, SVF::AddrVFGNode, SVF::AssignStmt, SVF::BinaryOPStmt, SVF::BinaryOPVFGNode, SVF::BitVector, SVF::BoundedDouble, SVF::BoundedInt, SVF::BranchStmt, SVF::BranchVFGNode, SVF::CallPE, SVF::CmpStmt, SVF::CmpVFGNode, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CondVar< Cond >, SVF::ContextCond, SVF::CopyCGEdge, SVF::CopyStmt, SVF::CopyVFGNode, SVF::CoreBitVector::CoreBitVectorIterator, SVF::CoreBitVector, SVF::CxtDPItem, SVF::CxtProc, SVF::CxtStmt, SVF::CxtStmtDPItem< LocCond >, SVF::CxtThread, SVF::CxtThreadProc, SVF::CxtThreadStmt, SVF::DPItem, SVF::FormalRetVFGNode, SVF::GepCGEdge, SVF::GepStmt, SVF::GepVFGNode, SVF::GrammarBase::Symbol, SVF::IntervalValue, SVF::LoadCGEdge, SVF::LoadStmt, SVF::LoadVFGNode, SVF::MultiOpndStmt, SVF::NormalGepCGEdge, SVF::PhiStmt, SVF::PointsTo, SVF::PointsTo::PointsToIterator, SVF::RelExeState, SVF::RetPE, SVF::SelectStmt, SVF::SparseBitVector< ElementSize >, SVF::StInfo, SVF::StmtDPItem< LocCond >, SVF::StoreCGEdge, SVF::StoreStmt, SVF::StoreVFGNode, SVF::TDForkPE, SVF::TDJoinPE, SVF::UnaryOPStmt, SVF::UnaryOPVFGNode, SVF::VariantGepCGEdge, SVF::WTO< GraphT >, SVF::WTOComponent< GraphT >, SVF::WTOComponentVisitor< GraphT >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator==() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::AbstractState, SVF::AccessPath, SVF::BoundedDouble, SVF::BoundedInt, SVF::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CondVar< Cond >, SVF::ContextCond, SVF::CoreBitVector::CoreBitVectorIterator, SVF::CoreBitVector, SVF::CxtDPItem, SVF::CxtProc, SVF::CxtStmt, SVF::CxtStmtDPItem< LocCond >, SVF::CxtThread, SVF::CxtThreadProc, SVF::CxtThreadStmt, SVF::DPItem, SVF::GenericEdge< NodeTy >, SVF::GrammarBase::Symbol, SVF::IntervalValue, SVF::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::MemRegion, SVF::POCRHybridSolver::TreeNode, SVF::PointsTo, SVF::PointsTo::PointsToIterator, SVF::RelExeState, SVF::SparseBitVector< ElementSize >, SVF::SparseBitVector< ElementSize >::SparseBitVectorIterator, SVF::SparseBitVectorElement< ElementSize >, SVF::StmtDPItem< LocCond >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator> : SVF::BoundedDouble, SVF::BoundedInt, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator>=() : SVF::AbstractState, SVF::BoundedDouble, SVF::BoundedInt, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator>> : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue
• operator[]() : SVF::AbstractState, SVF::ContextCond, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::RelExeState
• operator^ : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::WTOCycleDepth< GraphT >, SVF::Z3Expr
• operator| : SVF::BoundedDouble, SVF::BoundedInt, SVF::IntervalValue, SVF::Z3Expr
• operator|=() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >
• operator|| : SVF::BoundedDouble, SVF::BoundedInt, SVF::Z3Expr
• opICFGNodes : SVF::PhiStmt
• OpICFGNodeVec : SVF::PhiStmt
• opIncomingBBs : SVF::IntraPHIVFGNode
• OPIncomingBBs : SVF::IntraPHIVFGNode
• OpIt : llvm::generic_bridge_gep_type_iterator< ItTy >
• opPts() : SVF::PersistentPointsToCache< Data >
• Option() : Option< T >
• OptionBase() : OptionBase
• OptionMap() : OptionMap< T >
• OptionMultiple() : OptionMultiple< T >
• OptionPossibilities : OptionMap< T >, OptionMultiple< T >
• OptionPossibility : OptionBase
• Options() : SVF::Options
• optionValues : OptionMultiple< T >
• OPTSVFG : SVF::Options
• opVarBegin() : SVF::MultiOpndStmt
• OPVars : SVF::MultiOpndStmt
• opVars : SVF::MultiOpndStmt
• opVer : SVF::MSSACHI< Cond >
• opVerBegin() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::IntraMSSAPHISVFGNode, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• opVerEnd() : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::IntraMSSAPHISVFGNode, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::MultiOpndStmt, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• opVers : SVF::BinaryOPVFGNode
• OPVers : SVF::BinaryOPVFGNode, SVF::CmpVFGNode
• opVers : SVF::CmpVFGNode, SVF::MSSAPHI< Cond >
• OPVers : SVF::MSSAPHI< Cond >
• opVers : SVF::MSSAPHISVFGNode
• OPVers : SVF::MSSAPHISVFGNode, SVF::PHIVFGNode
• opVers : SVF::PHIVFGNode, SVF::UnaryOPVFGNode
• OPVers : SVF::UnaryOPVFGNode
• Or : SVF::BinaryOPStmt
• OR() : SVF::Z3Expr
• OriginalBvNumWords : SVF::NodeIDAllocator::Clusterer
• OriginalSbvNumWords : SVF::NodeIDAllocator::Clusterer
• OtherKd : SVF::SVFValue
• OUT : SVF::FlowSensitiveStat
• outCFLEdges : SVF::CFLNode
• OutEdgeBegin() : SVF::GenericNode< NodeTy, EdgeTy >
• OutEdgeEnd() : SVF::GenericNode< NodeTy, EdgeTy >
• OutEdgeKindToSetMap : SVF::SVFVar
• OutEdges : SVF::GenericNode< NodeTy, EdgeTy >
• outgoingAddrEdges() : SVF::ConstraintNode
• outgoingAddrsBegin() : SVF::ConstraintNode
• outgoingAddrsEnd() : SVF::ConstraintNode
• outgoingLoadsBegin() : SVF::ConstraintNode
• outgoingLoadsEnd() : SVF::ConstraintNode
• outgoingStoresBegin() : SVF::ConstraintNode
• outgoingStoresEnd() : SVF::ConstraintNode
• outICFGEdges : SVF::SVFLoop
• outICFGEdgesBegin() : SVF::SVFLoop
• outICFGEdgesEnd() : SVF::SVFLoop
• outOfBudgetDpms : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• outOfBudgetQuery : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• OutputName : SVF::Options
• outUpdatedVarMap : SVF::MutableIncDFPTData< Key, KeySet, Data, DataSet >, SVF::PersistentIncDFPTData< Key, KeySet, Data, DataSet >
• Overlap : SVF::AccessPath
• overlap() : SVF::CondPTAImpl< Cond >
• owned_ctx : SVF::LLVMModuleSet
• owned_modules : SVF::LLVMModuleSet