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

- c -

• cache : CachingSolver, CexCachingSolver
• cache_map : CachingSolver
• cachedSymbolicArrays : klee::ArrayCache
• CacheEntry() : CachingSolver::CacheEntry
• cacheExprOptimized : klee::ExprOptimizer
• cacheExprUnapplicable : klee::ExprOptimizer
• cacheInsert() : CachingSolver
• cacheLookup() : CachingSolver
• cacheReadExprOptimized : klee::ExprOptimizer
• CachingSolver() : CachingSolver
• caller : klee::StackFrame
• callExternalFunction() : klee::Executor
• CallPathManager() : klee::CallPathManager, klee::CallPathNode
• callPathManager : klee::StatsTracker
• CallPathNode() : klee::CallPathNode
• callPathNode : klee::StackFrame
• callSite : klee::CallPathNode
• CallSiteInfo() : klee::CallSiteInfo
• canonicalizeQuery() : CachingSolver
• CaseItr : klee::LowerSwitchPass
• CaseVector : klee::LowerSwitchPass
• CastExpr() : klee::CastExpr
• CastKindFirst : klee::Expr
• CastKindLast : klee::Expr
• catchingStackIndex : klee::CleanupPhaseUnwindingInformation
• cdm : klee::ExprSMTLIBPrinter
• CexCachingSolver() : CexCachingSolver
• CexData() : CexData
• CexExactEvaluator() : CexExactEvaluator
• CexObjectData() : CexObjectData
• CexPossibleEvaluator() : CexPossibleEvaluator
• cexPreferences : klee::ExecutionState
• CexRangeEvaluator() : CexRangeEvaluator
• ChangeTo : klee::ExprVisitor::Action
• changeTo() : klee::ExprVisitor::Action
• CheckDivZero : klee::Interpreter::ModuleOptions
• checkMemoryUsage() : klee::Executor
• checkModule() : klee::KModule
• CheckOvershift : klee::Interpreter::ModuleOptions
• checkPassed() : klee::InstructionOperandTypeCheckPass
• checkPointerInObject() : klee::AddressSpace
• checkType() : klee::FunctionAliasPass
• children : klee::CallPathNode, klee::MapOfSets< K, V >::Node
• children_ty : klee::CallPathNode, klee::MapOfSets< K, V >::Node
• choose() : klee::DiscretePDF< T, Comparator >
• classof() : klee::BinaryExpr, klee::CastExpr, klee::CleanupPhaseUnwindingInformation, klee::CmpExpr, klee::ConcatExpr, klee::ConstantExpr, klee::expr::ArrayDecl, klee::Expr, klee::expr::CommandDecl, klee::expr::Decl, klee::expr::ExprVarDecl, klee::expr::QueryCommand, klee::expr::VarDecl, klee::expr::VersionVarDecl, klee::ExtractExpr, klee::NonConstantExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SearchPhaseUnwindingInformation, klee::SelectExpr
• CleanupPhaseUnwindingInformation() : klee::CleanupPhaseUnwindingInformation
• clear() : klee::MapOfSets< K, V >, klee::Z3ArrayExprHash
• clearConstructCache() : klee::Z3Builder
• clone() : klee::CleanupPhaseUnwindingInformation, klee::SearchPhaseUnwindingInformation, klee::UnwindingInformation
• closedMean : klee::MergeHandler
• closedStateCount : klee::MergeHandler
• CmpExpr() : klee::CmpExpr
• CmpKindFirst : klee::Expr
• CmpKindLast : klee::Expr
• Colon : klee::expr::Token
• column : klee::expr::Token, klee::InstructionInfo
• ColumnNumber : klee::expr::Lexer
• Comma : klee::expr::Token
• CommandDecl() : klee::expr::CommandDecl
• CommandDeclKindFirst : klee::expr::Decl
• CommandDeclKindLast : klee::expr::Decl
• Comment : klee::expr::Token
• compare() : klee::Expr, klee::MemoryObject, klee::ref< T >, klee::UpdateList, klee::UpdateNode
• compareContents() : klee::CastExpr, klee::ConcatExpr, klee::ConstantExpr, klee::Expr, klee::ExtractExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr
• compatible : klee::IndexCompatibilityExprVisitor
• compressed_fd_ostream() : klee::compressed_fd_ostream
• computeCallPath() : klee::CallPathManager
• computeHash() : klee::Array, klee::CastExpr, klee::ConstantExpr, klee::Expr, klee::ExtractExpr, klee::NotExpr, klee::ReadExpr, klee::UpdateNode
• computeIndexes() : klee::ExprOptimizer
• computeInitialValues() : CachingSolver, CexCachingSolver, FastCexSolver, IndependentSolver, klee::AssignmentValidatingSolver, klee::DummySolverImpl, klee::IncompleteSolver, klee::SolverImpl, klee::StagedSolverImpl, klee::ValidatingSolver, QueryLoggingSolver
• computeOffsets() : klee::Executor
• computeOffsetsSeqTy() : klee::Executor
• computeReachableUncovered() : klee::StatsTracker
• computeTruth() : CachingSolver, CexCachingSolver, FastCexSolver, IndependentSolver, klee::AssignmentValidatingSolver, klee::DummySolverImpl, klee::IncompleteSolver, klee::SolverImpl, klee::StagedSolverImpl, klee::ValidatingSolver, QueryLoggingSolver
• computeValidity() : CachingSolver, CexCachingSolver, IndependentSolver, klee::AssignmentValidatingSolver, klee::DummySolverImpl, klee::IncompleteSolver, klee::SolverImpl, klee::StagedSolverImpl, klee::ValidatingSolver, QueryLoggingSolver
• computeValue() : CachingSolver, CexCachingSolver, FastCexSolver, IndependentSolver, klee::AssignmentValidatingSolver, klee::DummySolverImpl, klee::IncompleteSolver, klee::SolverImpl, klee::StagedSolverImpl, klee::ValidatingSolver, QueryLoggingSolver
• Concat() : klee::ConstantExpr, klee::Expr, klee::ExprBuilder
• concat() : ValueRange
• concatenateOrExpr() : klee::ExprRewriter
• ConcatExpr() : klee::ConcatExpr
• concreteArrays : klee::ArrayCache
• concreteMask : klee::ObjectState
• concreteStore : klee::ObjectState
• cond : klee::SelectExpr
• const_iterator : klee::ConstraintSet, klee::SpecialFunctionHandler::const_iterator
• Constant : klee::Expr, klee::ExprBuilder
• constant_array_assertions : klee::Z3Builder
• ConstantArrayExprVisitor() : klee::ConstantArrayExprVisitor
• ConstantDisplayMode : klee::ExprSMTLIBPrinter
• ConstantExpr() : klee::ConstantExpr
• constantMap : klee::KModule
• constants : klee::KModule
• constantTable : klee::KModule
• constantValues : klee::Array
• constraint_iterator : klee::ConstraintSet
• ConstraintManager() : klee::ConstraintManager, klee::ConstraintSet
• constraints : CachingSolver::CacheEntry, klee::ConstraintManager, klee::ConstraintSet, klee::ExecutionState
• Constraints : klee::expr::QueryCommand
• constraints : klee::Query
• constraints_ty : klee::ConstraintSet
• ConstraintSet() : klee::ConstraintSet
• construct() : klee::STPBuilder, klee::Z3Builder
• constructActual() : klee::STPBuilder, klee::Z3Builder
• constructAShrByConstant() : klee::STPBuilder, klee::Z3Builder
• constructed : klee::STPBuilder, klee::Z3Builder
• constructMulByConstant() : klee::STPBuilder
• constructSDivByConstant() : klee::STPBuilder
• constructUDivByConstant() : klee::STPBuilder
• contains() : ValueRange
• containsSymbolic() : klee::ArrayReadExprVisitor
• Context() : klee::Context, klee::KleeIRMetaData
• context : klee::Z3NodeHandle< T >
• contextStats : klee::StatisticManager
• continueState() : klee::MergingSearcher
• copyInConcrete() : klee::AddressSpace
• copyInConcretes() : klee::AddressSpace
• copyOnWriteOwner : klee::ObjectState
• copyOutConcretes() : klee::AddressSpace
• CoreSearchType : klee::Searcher
• coreSolverTimeout : klee::Executor
• couldPrint : PPrinter
• couldPrintUpdates : PPrinter
• count : klee::CallPathNode, klee::CallSiteInfo, klee::Expr, klee::ExprHolder, klee::ImmutableMap< K, D, CMP >, klee::ImmutableSet< T, CMP >, klee::ImmutableTree< K, V, KOV, CMP >
• counter : klee::MemoryObject, PPrinter
• coveredLines : klee::ExecutionState
• coveredNew : klee::ExecutionState
• CoveringNew : klee::WeightedRandomSearcher
• cowKey : klee::AddressSpace
• CPInstCount : klee::WeightedRandomSearcher
• create() : klee::ConcatExpr, klee::ConstantExpr
• Create() : klee::expr::Parser
• create() : klee::ExprPPrinter, klee::ExtractExpr, klee::Interpreter, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr
• create4() : klee::ConcatExpr
• create8() : klee::ConcatExpr
• createAddExpr() : klee::AssignmentGenerator
• createAndExpr() : klee::AssignmentGenerator
• CreateArg() : klee::Expr::CreateArg
• CreateArray() : klee::ArrayCache
• createConstraintsFromAssignment() : klee::Assignment
• createDispatcher() : klee::ExternalDispatcherImpl
• createDivExpr() : klee::AssignmentGenerator
• createDivRem() : klee::AssignmentGenerator
• createEqExpr() : klee::ExprRewriter
• createExtendExpr() : klee::AssignmentGenerator
• createExtractExpr() : klee::AssignmentGenerator
• createFromKind() : klee::Expr
• createImplies() : klee::Expr
• createIsZero() : klee::Expr
• createLShrExpr() : klee::AssignmentGenerator
• createMulExpr() : klee::AssignmentGenerator
• createN() : klee::ConcatExpr
• createOptExpr() : klee::ExprRewriter
• createPointer() : klee::Expr
• createRangeExpr() : klee::ExprRewriter
• createSExtToPointerWidth() : klee::Expr
• createShlExpr() : klee::AssignmentGenerator
• createStringNode() : klee::KleeIRMetaData
• createSubExpr() : klee::AssignmentGenerator
• createTempRead() : klee::Expr
• createZExtToPointerWidth() : klee::Expr
• ct : klee::KConstant
• ctx : klee::ExternalDispatcherImpl, klee::Z3Builder
• current_pos() : klee::compressed_fd_ostream
• currentTime : klee::TimerGroup
• CurTy : klee::generic_gep_type_iterator< ItTy >