- o -

• o : klee::ExprSMTLIBPrinter
• object : klee::ObjectState
• objectFilename : klee::StatsTracker
• objects : CexData, CexExactEvaluator, CexPossibleEvaluator, CexRangeEvaluator, klee::AddressSpace
• Objects : klee::expr::QueryCommand
• objects : klee::MemoryManager, klee::SymbolicObjectFinder, KTest
• offset : klee::ExtractExpr, klee::KGEPInstruction
• onEntry : klee::MapOfSets< K, V >::iterator
• openInstruction : klee::MergeHandler
• openMergeStack : klee::ExecutionState
• openStates : klee::MergeHandler
• operands : klee::KInstruction
• OpIt : klee::generic_gep_type_iterator< ItTy >
• Optimize : klee::Interpreter::ModuleOptions
• optimized : klee::ArrayValueOptReplaceVisitor
• optimizeDivides : klee::STPBuilder
• optimizer : klee::Executor
• OptSuffix : klee::Interpreter::ModuleOptions
• oracle : klee::ValidatingSolver
• orderedBindings : klee::ExprSMTLIBPrinter
• os : PPrinter, PrintContext, QueryLoggingSolver
• output : klee::TreeStreamWriter