- k -

• key : NullOrSatisfyingAssignment
• kf : klee::StackFrame
• ki : klee::KConstant
• kind : klee::ConcatExpr, klee::ConstantExpr
• Kind : klee::expr::Decl
• kind : klee::expr::Token, klee::ExprVisitor::Action, klee::ExtractExpr, klee::NotExpr, klee::NotOptimizedExpr, klee::ReadExpr, klee::SelectExpr, klee::UnwindingInformation
• kmodule : klee::Executor
• knownSymbolics : klee::ObjectState