- d -

• data : klee::StatisticRecord
• DataLayout : klee::IntrinsicCleanerPass
• debugBufferString : klee::Executor
• debugInstFile : klee::Executor
• debugLogBuffer : klee::Executor
• depth : klee::ExecutionState
• dest : klee::KInstruction
• deterministicSpace : klee::MemoryManager
• dispatchers : klee::ExternalDispatcherImpl
• doesNotReturn : klee::SpecialFunctionHandler::HandlerInfo
• domain : klee::Array
• Domain : klee::expr::ArrayDecl
• doNotOverride : klee::SpecialFunctionHandler::HandlerInfo
• dst : ExprReplaceVisitor
• duration : klee::time::Span