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

- o -

• objSyms() : SVF::LLVMModuleSet
• ObjTypeInference() : SVF::ObjTypeInference
• ObjTypeInfo() : SVF::ObjTypeInfo
• objTyToNumFields() : SVF::ObjTypeInference
• ObjVar() : SVF::ObjVar
• onTheFlyCallGraphSolve() : SVF::BVDataPTAImpl, SVF::CFLAlias
• onTheFlyThreadCallGraphSolve() : SVF::BVDataPTAImpl
• OOBResetVisited() : SVF::DDAVFSolver< CVar, CPtSet, DPIm >
• operator ReferenceT() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >::ReferenceProxy
• operator u32_t() : SVF::GrammarBase::Symbol
• operator!=() : llvm::generic_bridge_gep_type_iterator< ItTy >, SVF::AbstractState, 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 >
• 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::CondPointsToSet< Cond >::CondPtsSetIterator, SVF::CoreBitVector::CoreBitVectorIterator, 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
• operator+() : SVF::AccessPath, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• 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::iter_adaptor_base< DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >
• 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::AbstractState, SVF::AccessPath, 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::MSSADEF, SVF::MSSAMU< Cond >, SVF::POCRHybridSolver::TreeNode, SVF::RelExeState, SVF::StmtDPItem< LocCond >, SVF::WTOCycleDepth< GraphT >
• operator<=() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >
• 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::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::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 >
• operator>() : SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >
• operator>=() : SVF::AbstractState, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::WTOCycleDepth< GraphT >
• operator[]() : SVF::AbstractState, SVF::ContextCond, SVF::iter_facade_base< DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT >, SVF::RelExeState
• operator^() : SVF::WTOCycleDepth< GraphT >
• operator|=() : SVF::CondPointsToSet< Cond >, SVF::CondStdSet< Element >, SVF::CoreBitVector, SVF::PointsTo, SVF::SparseBitVector< ElementSize >
• opPts() : SVF::PersistentPointsToCache< Data >
• Option() : Option< T >
• OptionBase() : OptionBase
• OptionMap() : OptionMap< T >
• OptionMultiple() : OptionMultiple< T >
• Options() : SVF::Options
• opVarBegin() : SVF::MultiOpndStmt
• 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
• OR() : SVF::Z3Expr
• OutEdgeBegin() : SVF::GenericNode< NodeTy, EdgeTy >
• OutEdgeEnd() : 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
• outICFGEdgesBegin() : SVF::SVFLoop
• outICFGEdgesEnd() : SVF::SVFLoop
• overlap() : SVF::CondPTAImpl< Cond >