- a -

• ALL_QUERIES_KQUERY_FILE_NAME : klee
• ALL_QUERIES_SMT2_FILE_NAME : klee
• allocations : klee::stats

- b -

• BUFSIZE : klee

- c -

• cexCacheTime : klee::stats
• CoreSolverOptimizeDivides : klee
• CoreSolverToUse : klee
• coveredInstructions : klee::stats

- d -

• DBL_BITS : klee::floats
• DebugCat : klee
• DebugCrossCheckCoreSolverWith : klee
• DebugLogIncompleteMerge : klee
• DebugLogMerge : klee
• DebugValidateSolver : klee

- e -

• ExprCat : klee

- f -

• falseBranches : klee::stats
• FLT_BITS : klee::floats
• forks : klee::stats
• forkTime : klee::stats

- g -

• gTheArgsP : klee

- i -

• instructionRealTime : klee::stats
• instructions : klee::stats
• instructionTime : klee::stats

- k -

• klee_message_file : klee
• klee_warning_file : klee

- l -

• LogTimedOutQueries : klee

- m -

• MaxCoreSolverTime : klee
• MaxTime : klee
• MergeCat : klee
• minDistToReturn : klee::stats
• minDistToUncovered : klee::stats
• MinQueryTimeToLog : klee
• MiscCat : klee
• ModuleCat : klee

- n -

• noreturn : klee

- p -

• PtrBitCount : klee

- q -

• queries : klee::stats
• queriesInvalid : klee::stats
• queriesValid : klee::stats
• queryCacheHits : klee::stats
• queryCacheMisses : klee::stats
• queryCexCacheHits : klee::stats
• queryCexCacheMisses : klee::stats
• queryConstructs : klee::stats
• queryCounterexamples : klee::stats
• QueryLoggingOptions : klee
• queryTime : klee::stats

- r -

• resolveTime : klee::stats

- s -

• SeedingCat : klee
• SOLVER_QUERIES_KQUERY_FILE_NAME : klee
• SOLVER_QUERIES_SMT2_FILE_NAME : klee
• solverTime : klee::stats
• SolvingCat : klee
• states : klee::stats

- t -

• TerminationCat : klee
• TestGenCat : klee
• theStatisticManager : klee
• trueBranches : klee::stats

- u -

• uncoveredInstructions : klee::stats
• UseAssignmentValidatingSolver : klee
• UseBranchCache : klee
• UseCexCache : klee
• UseFastCexSolver : klee
• UseForkedCoreSolver : klee
• UseIncompleteMerge : klee
• UseIndependentSolver : klee
• UseMerge : klee