- c -

• callTargets : StatsTracker.cpp

- d -

• dontCareExternals : main.cpp
• dontCareKlee : main.cpp
• dontCareUclibc : main.cpp
• dumpPTree : Executor.cpp
• dumpStates : Executor.cpp

- e -

• errorPrefix : ErrorHandling.cpp
• escapeCallJmpBuf : ExternalDispatcher.cpp

- f -

• functionCallers : StatsTracker.cpp
• functionShortestPath : StatsTracker.cpp

- h -

• handlerInfo : SpecialFunctionHandler.cpp

- i -

• Initialized : Context.cpp
• input : klee-replay.c
• interrupted : main.cpp

- k -

• keep_temps : klee-replay.c, klee-replay.h

- l -

• line : klee.h
• long_options : klee-replay.c

- m -

• message : klee.h
• modelledExternals : main.cpp
• monitored_pid : klee-replay.c
• monitored_timeout : klee-replay.c

- n -

• notePrefix : ErrorHandling.cpp

- o -

• obj_index : klee-replay.c
• okExternalsList : Executor.cpp

- p -

• progname : klee-replay.c

- r -

• replay_dir : file-creator.c, klee-replay.h
• rootdir : klee-replay.c

- s -

• suffix : klee.h

- t -

• TheContext : Context.cpp
• theInterpreter : main.cpp

- u -

• unsafeExternals : main.cpp

- w -

• warningOncePrefix : ErrorHandling.cpp
• warningPrefix : ErrorHandling.cpp