- s -

• s : DenseSet< T >
• searcher : klee::Executor
• searchers : klee::InterleavedSearcher
• secondary : klee::StagedSolverImpl
• seedMap : klee::Executor
• seenExprs : klee::ExprSMTLIBPrinter
• selectorValue : klee::CleanupPhaseUnwindingInformation
• serializedLandingpad : klee::SearchPhaseUnwindingInformation
• shortName : klee::Statistic
• shouldPrint : PPrinter
• shouldPrintUpdates : PPrinter
• simplifyExprs : klee::TimingSolver
• singleDispatchModule : klee::ExternalDispatcherImpl
• size : klee::Array, klee::MemoryObject, klee::ObjectState, klee::UpdateNode
• smtlibBoolOptions : klee::ExprSMTLIBPrinter
• solver : CachingSolver, CexCachingSolver, IndependentSolver, klee::AssignmentValidatingSolver, klee::Executor, klee::TimingSolver, klee::ValidatingSolver, QueryLoggingSolver
• spaceSize : klee::MemoryManager
• specialFunctionHandler : klee::Executor
• src : ExprReplaceVisitor, klee::CastExpr, klee::NotOptimizedExpr
• stack : klee::ExecutionState, klee::ImmutableTree< K, V, KOV, CMP >::iterator, klee::MapOfSets< K, V >::iterator
• start : klee::expr::Token, klee::WallTimer
• startTime : klee::IterativeDeepeningTimeSearcher, QueryLoggingSolver
• startWallTime : klee::StatsTracker
• state : klee::PTreeNode
• states : klee::BFSSearcher, klee::DFSSearcher, klee::Executor, klee::RandomSearcher, klee::WeightedRandomSearcher
• statistic : klee::TimerStatIncrementer
• statistics : klee::CallPathNode, klee::CallSiteInfo
• stats : klee::StatisticManager
• statsCommitEvery : klee::StatsTracker
• statsFile : klee::StatsTracker
• statsTracker : klee::Executor
• statsWriteCount : klee::StatsTracker
• steppedInstructions : klee::ExecutionState
• strm : klee::compressed_fd_ostream
• summaryStatistics : klee::CallPathNode
• symArgvLen : KTest
• symArgvs : KTest
• symbolic : klee::ArrayReadExprVisitor
• symbolics : klee::ExecutionState
• symPathOS : klee::ExecutionState
• symPathWriter : klee::Executor