- _ -

• __STDIN : file-creator.c
• __STDOUT : file-creator.c
• _FILE_OFFSET_BITS : gen-random-bout.cpp, klee-replay.h
• _LARGEFILE64_SOURCE : klee-replay.h

- a -

• ABS : ConstantDivision.cpp
• add : SpecialFunctionHandler.cpp
• addDNR : SpecialFunctionHandler.cpp
• ARITHMETIC_EXPR_CLASS : Expr.h

- b -

• BCREATE : Expr.cpp
• BCREATE_R : Expr.cpp
• BINARY_EXPR_CASE : Expr.cpp
• BOUT_MAGIC : KTest.cpp

- c -

• CAST_EXPR_CASE : Expr.cpp
• CAST_EXPR_CLASS : Expr.h
• CMPCREATE : Expr.cpp
• CMPCREATE_T : Expr.cpp
• COMPARISON_EXPR_CLASS : Expr.h

- d -

• DEBUG_TYPE : KModule.cpp, FastCexSolver.cpp, IndependentSolver.cpp, TreeStream.cpp

- e -

• Expr : STPBuilder.h

- h -

• HANDLER : SpecialFunctionHandler.h

- i -

• IS_OUR_NODE_VALID : Searcher.cpp

- k -

• klee_assert : klee.h
• KLEE_GET_VALUE_PROTO : klee.h
• KTEST_MAGIC : KTest.cpp
• KTEST_MAGIC_SIZE : KTest.cpp
• KTEST_VERSION : KTest.cpp

- l -

• LLVM_VERSION : Version.h
• LLVM_VERSION_CODE : Version.h
• LOG2_CEIL : ConstantDivision.cpp

- m -

• MARK : Executor.cpp, TerminationTypes.h
• MAX : gen-bout.cpp, gen-random-bout.cpp
• MAX_BITS : IntEvaluation.h
• MAX_FILE_SIZES : gen-random-bout.cpp

- n -

• NELEMS : main.cpp

- s -

• SetOK : Parser.cpp
• SMALL_BUFFER_SIZE : gen-random-bout.cpp

- t -

• TERMINATION_TYPES : TerminationTypes.h
• TTYPE : Executor.cpp, TerminationTypes.h
• TWO_TO_THE_31_S64 : ConstantDivision.cpp
• TWO_TO_THE_32_U64 : ConstantDivision.cpp

- x -

• X : Expr.cpp
• XSIGN : ConstantDivision.cpp