- l -

• lastErrno : klee::ExternalDispatcherImpl
• lastID : klee::TreeStreamWriter
• lastQueryDuration : QueryLoggingSolver
• lastStartInstructions : klee::BatchingSearcher
• lastStartTime : klee::BatchingSearcher
• lastState : klee::BatchingSearcher
• left : klee::BinaryExpr, klee::ConcatExpr, klee::ImmutableTree< K, V, KOV, CMP >::Node, klee::PTreeNode
• legalFunctions : klee::Executor
• length : klee::expr::Token
• LibraryDir : klee::Interpreter::ModuleOptions
• line : klee::expr::Token, klee::FunctionInfo, klee::InstructionInfo
• LineNumber : klee::expr::Lexer
• lineTable : DebugInfoExtractor
• locals : klee::StackFrame
• logBuffer : QueryLoggingSolver
• logicToUse : klee::ExprSMTLIBPrinter
• logTimedOutQueries : QueryLoggingSolver
• LOWER_MASK : klee::RNG