Here is a list of all variables with links to the classes they belong to:
- o -
- O : SVF::GraphWriter< GraphType >
- object : SVF::DummyVersionPropSVFGNode
- objSymMap : SVF::LLVMModuleSet
- objToNSRevPtsMap : SVF::CondPTAImpl< Cond >
- objTypeInfoMap : SVF::IRGraph
- objVarNum : SVF::IRGraph
- OCGDotGraph : SVF::Options
- offset : parse_buffer, printbuffer, SVF::CoreBitVector, SVF::DCHEdge
- onStack : SVF::VersionedFlowSensitive::SCC::NodeData
- OnTheFlyIterBudgetForStat : SVF::PointerAnalysis
- opcode : SVF::BinaryOPStmt, SVF::UnaryOPStmt
- opICFGNodes : SVF::PhiStmt
- opIncomingBBs : SVF::IntraPHIVFGNode
- OpIt : llvm::generic_bridge_gep_type_iterator< ItTy >
- optionValues : OptionMultiple< T >
- OPTSVFG : SVF::Options
- opVars : SVF::MultiOpndStmt
- opVer : SVF::MSSACHI< Cond >
- opVers : SVF::BinaryOPVFGNode, SVF::CmpVFGNode, SVF::MSSAPHI< Cond >, SVF::MSSAPHISVFGNode, SVF::PHIVFGNode, SVF::UnaryOPVFGNode
- OriginalBvNumWords : SVF::NodeIDAllocator::Clusterer
- OriginalSbvNumWords : SVF::NodeIDAllocator::Clusterer
- outCFLEdges : SVF::CFLNode
- OutEdgeKindToSetMap : SVF::SVFVar
- OutEdges : SVF::GenericNode< NodeTy, EdgeTy >
- outICFGEdges : 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 >
- owned_ctx : SVF::LLVMModuleSet
- owned_modules : SVF::LLVMModuleSet