- c -

• cache : CachingSolver, CexCachingSolver
• cachedSymbolicArrays : klee::ArrayCache
• cacheExprOptimized : klee::ExprOptimizer
• cacheExprUnapplicable : klee::ExprOptimizer
• cacheReadExprOptimized : klee::ExprOptimizer
• caller : klee::StackFrame
• callPathManager : klee::StatsTracker
• callPathNode : klee::StackFrame
• callSite : klee::CallPathNode
• catchingStackIndex : klee::CleanupPhaseUnwindingInformation
• cdm : klee::ExprSMTLIBPrinter
• cexPreferences : klee::ExecutionState
• CheckDivZero : klee::Interpreter::ModuleOptions
• CheckOvershift : klee::Interpreter::ModuleOptions
• children : klee::CallPathNode, klee::MapOfSets< K, V >::Node
• closedMean : klee::MergeHandler
• closedStateCount : klee::MergeHandler
• column : klee::expr::Token, klee::InstructionInfo
• ColumnNumber : klee::expr::Lexer
• compatible : klee::IndexCompatibilityExprVisitor
• concreteArrays : klee::ArrayCache
• concreteMask : klee::ObjectState
• concreteStore : klee::ObjectState
• cond : klee::SelectExpr
• constant_array_assertions : klee::Z3Builder
• constantMap : klee::KModule
• constants : klee::KModule
• constantTable : klee::KModule
• constantValues : klee::Array
• constraints : CachingSolver::CacheEntry, klee::ConstraintManager, klee::ConstraintSet, klee::ExecutionState
• Constraints : klee::expr::QueryCommand
• constraints : klee::Query
• constructed : klee::STPBuilder, klee::Z3Builder
• Context : klee::KleeIRMetaData
• context : klee::Z3NodeHandle< T >
• contextStats : klee::StatisticManager
• copyOnWriteOwner : klee::ObjectState
• coreSolverTimeout : klee::Executor
• couldPrint : PPrinter
• couldPrintUpdates : PPrinter
• count : klee::CallPathNode, klee::CallSiteInfo, klee::Expr, klee::ExprHolder
• counter : klee::MemoryObject, PPrinter
• coveredLines : klee::ExecutionState
• coveredNew : klee::ExecutionState
• cowKey : klee::AddressSpace
• ct : klee::KConstant
• ctx : klee::ExternalDispatcherImpl, klee::Z3Builder
• currentTime : klee::TimerGroup
• CurTy : klee::generic_gep_type_iterator< ItTy >