- _ -

• __attribute__() : Executor.cpp, klee.h
• __emit_error() : klee-replay.c
• __fgetc_unlocked() : klee-replay.c
• __fputc_unlocked() : klee-replay.c
• __klee_posix_wrapped_main() : klee_init_env.c

- a -

• A0() : Optimize.cpp
• A1() : Optimize.cpp
• AddExpr_create() : Expr.cpp
• AddExpr_createPartial() : Expr.cpp
• AddExpr_createPartialR() : Expr.cpp
• addPass() : Optimize.cpp
• AndExpr_create() : Expr.cpp
• AndExpr_createPartial() : Expr.cpp
• AndExpr_createPartialR() : Expr.cpp
• AShrExpr_create() : Expr.cpp
• assertCreatedPointEvaluatesToTrue() : IndependentSolver.cpp

- b -

• buildInstructionToLineMap() : InstructionInfoTable.cpp

- c -

• calculateArrayReferences() : IndependentSolver.cpp
• check_file() : file-creator.c
• create_char_dev() : file-creator.c
• create_dir() : file-creator.c
• create_file() : file-creator.c
• create_link() : file-creator.c
• create_pipe() : file-creator.c
• create_reg_file() : file-creator.c
• create_stat() : gen-random-bout.cpp

- d -

• DisableInline() : Optimize.cpp
• DisableInternalize() : Optimize.cpp

- e -

• EqExpr_create() : Expr.cpp
• EqExpr_createPartial() : Expr.cpp
• EqExpr_createPartialR() : Expr.cpp
• error_exit() : gen-random-bout.cpp
• escapedString() : main.cpp
• EvaluateInputAST() : main.cpp
• ExportDynamic() : Optimize.cpp
• extendRead() : ArrayExprOptimizer.cpp
• externalsAndGlobalsCheck() : main.cpp

- f -

• fpWidthToSemantics() : Executor.cpp

- g -

• get_unsigned() : gen-random-bout.cpp
• getAllIndependentConstraintsSets() : IndependentSolver.cpp
• GetAllUndefinedSymbols() : ModuleUtil.cpp
• getIndependentConstraints() : IndependentSolver.cpp
• getNewSearcher() : UserSearcher.cpp
• getOperandNum() : KModule.cpp
• getQueryLogPath() : main.cpp
• getStatisticManager() : Statistics.cpp
• getStubFunctionForCtorList() : KModule.cpp
• getSuccs() : StatsTracker.cpp
• getTime() : file-creator.c

- h -

• halt_execution() : main.cpp
• halt_via_gdb() : main.cpp

- i -

• injectStaticConstructorsAndDestructors() : KModule.cpp
• instructionIsCoverable() : StatsTracker.cpp
• int_handler() : klee-replay.c
• interrupt_handle() : main.cpp
• interrupt_handle_watchdog() : main.cpp
• isInternalIdentifierChar() : Lexer.cpp
• isReservedKW() : Lexer.cpp
• isWidthKW() : Lexer.cpp

- k -

• klee_assume() : klee-replay.c, klee.h
• klee_check_memory_access() : klee.h
• klee_choose() : klee.h
• klee_close_merge() : klee.h
• klee_define_fixed_object() : klee.h
• klee_get_errno() : klee-replay.c, klee.h
• klee_get_obj_size() : klee.h
• KLEE_GET_VALUE_PROTO() : klee.h
• klee_int() : klee.h
• klee_is_replay() : klee.h
• klee_is_symbolic() : klee-replay.c, klee.h
• klee_make_symbolic() : klee-replay.c, klee.h
• klee_mark_global() : klee-replay.c, klee.h
• klee_open_merge() : klee.h
• klee_posix_prefer_cex() : klee-replay.c, klee.h
• klee_prefer_cex() : klee-replay.c, klee.h
• klee_print_expr() : klee.h
• klee_print_range() : klee.h
• klee_range() : klee-replay.c, klee.h
• klee_report_error() : klee-replay.c
• klee_set_forking() : klee.h
• klee_stack_trace() : klee.h
• klee_vfmessage() : ErrorHandling.cpp
• klee_vmessage() : ErrorHandling.cpp
• klee_warning() : klee-replay.c, klee.h
• klee_warning_once() : klee-replay.c, klee.h
• kTest_checkHeader() : KTest.cpp
• kTest_free() : KTest.cpp, KTest.h
• kTest_fromFile() : KTest.cpp, KTest.h
• kTest_getCurrentVersion() : KTest.cpp, KTest.h
• kTest_isKTestFile() : KTest.cpp, KTest.h
• kTest_numBytes() : KTest.cpp, KTest.h
• kTest_toFile() : KTest.cpp, KTest.h

- l -

• linkTwoModules() : ModuleUtil.cpp
• linkWithUclibc() : main.cpp
• LookupExprInfo() : Parser.cpp
• LShrExpr_create() : Expr.cpp

- m -

• main() : gen-bout.cpp, gen-random-bout.cpp, main.cpp, klee-replay.c, main.cpp
• maxAND() : FastCexSolver.cpp
• maxOR() : FastCexSolver.cpp
• minAND() : FastCexSolver.cpp
• minOR() : FastCexSolver.cpp
• MulExpr_create() : Expr.cpp
• MulExpr_createPartial() : Expr.cpp
• MulExpr_createPartialR() : Expr.cpp

- o -

• okExternals() : Executor.cpp
• operator<<() : FastCexSolver.cpp, IndependentSolver.cpp
• OrExpr_create() : Expr.cpp
• OrExpr_createPartial() : Expr.cpp
• OrExpr_createPartialR() : Expr.cpp

- p -

• parseArguments() : main.cpp
• preparePOSIX() : main.cpp
• print_usage_and_exit() : gen-bout.cpp
• printInputAsSMTLIBv2() : main.cpp
• PrintInputAST() : main.cpp
• PrintInputTokens() : main.cpp
• process_status() : klee-replay.c, klee-replay.h
• propogateValues() : FastCexSolver.cpp
• push_obj() : gen-bout.cpp, gen-random-bout.cpp
• push_random_obj() : gen-random-bout.cpp
• push_range() : gen-bout.cpp, gen-random-bout.cpp

- r -

• read_string() : KTest.cpp
• read_uint32() : KTest.cpp
• remove_callback() : file-creator.c
• replay_create_files() : file-creator.c, klee-replay.h
• replay_delete_files() : file-creator.c, klee-replay.h
• run_monitored() : klee-replay.c

- s -

• SDivExpr_create() : Expr.cpp
• ShlExpr_create() : Expr.cpp
• shouldExitOn() : Executor.cpp
• shouldSetColor() : ErrorHandling.cpp
• shouldWriteTest() : Executor.cpp
• sigsegv_handler() : ExternalDispatcher.cpp
• SleExpr_create() : Expr.cpp
• SltExpr_create() : Expr.cpp
• sqlite3ErrToStringAndFree() : StatsTracker.cpp
• SRemExpr_create() : Expr.cpp
• stop_forking() : main.cpp
• stop_monitored() : klee-replay.c
• strip() : main.cpp
• Strip() : Optimize.cpp
• strip_root_dir() : klee-replay.c
• StripDebug() : Optimize.cpp
• SubExpr_create() : Expr.cpp
• SubExpr_createPartial() : Expr.cpp
• SubExpr_createPartialR() : Expr.cpp

- t -

• terminationTypeFileExtension() : Executor.cpp
• timeout_handler() : klee-replay.c
• TryConstArrayOpt() : Expr.cpp

- u -

• UDivExpr_create() : Expr.cpp
• UleExpr_create() : Expr.cpp
• UltExpr_create() : Expr.cpp
• URemExpr_create() : Expr.cpp
• usage() : klee-replay.c

- v -

• valueIsOnlyCalled() : ModuleUtil.cpp
• vc_DeleteExpr() : Updates.cpp
• VerifyEach() : Optimize.cpp

- w -

• wait_for_timeout_or_exit() : file-creator.c
• write_string() : KTest.cpp
• write_uint32() : KTest.cpp

- x -

• XorExpr_create() : Expr.cpp
• XorExpr_createPartial() : Expr.cpp
• XorExpr_createPartialR() : Expr.cpp