- _ -

• __CPROVER_alloca_object : stdlib.c , cprover_contracts.c
• __CPROVER_cegis_OPS : cegis.c
• __CPROVER_cegis_RESULT_OPS : cegis.c
• __CPROVER_deallocated : cprover.h , cprover_contracts.c , cprover.h
• __CPROVER_errno : errno.c
• __CPROVER_jsa_jump_buffer : jsa.h
• __CPROVER_malloc_failure_mode : cprover.h
• __CPROVER_malloc_failure_mode_assert_then_assume : cprover.h
• __CPROVER_malloc_failure_mode_return_null : cprover.h
• __CPROVER_malloc_is_new_array : cprover_contracts.c , stdlib.c , new.c
• __CPROVER_malloc_may_fail : cprover.h
• __CPROVER_max_malloc_size : cprover.h
• __CPROVER_memory_leak : cprover.h , cprover_contracts.c , cprover.h
• __CPROVER_new_object : cprover_contracts.c , stdlib.c , new.c
• __CPROVER_next_thread_id : pthread_lib.c
• __CPROVER_next_thread_key : pthread_lib.c
• __CPROVER_passwd : pwd.c
• __CPROVER_pipe_count : unistd.c
• __CPROVER_pipe_offset : unistd.c
• __CPROVER_pipes : unistd.c
• __CPROVER_rounding_mode : fenv.c , float.c , x86_assembler.c
• __CPROVER_thread_id : pthread_lib.c
• __CPROVER_thread_keys : pthread_lib.c
• __CPROVER_threads_exited : pthread_lib.c
• __inet_ntoa_buffer : inet.c

- a -

• alloc_adapter_prefix : value_set_fi.cpp
• allocate_counter : simplify_state_expr.cpp
• arm_builtin_headers : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• as86_options_with_argument : as86_cmdline.cpp
• as86_options_without_argument : as86_cmdline.cpp
• as_options_with_argument : as_cmdline.cpp
• as_options_without_argument : as_cmdline.cpp
• ASSIGNS_CLAUSE_REPLACEMENT_TRACKING : utils.cpp
• assume_functions : abstract_environment.cpp

- b -

• bcc_options_with_argument : bcc_cmdline.cpp
• bcc_options_without_argument : bcc_cmdline.cpp
• bytecode_info : bytecode_info.cpp , bytecode_info.h

- c -

• c_test_program : c_preprocess.cpp
• cbmc_invariants_should_throw : invariant.cpp , invariant.h
• CBMC_VERSION : version.h
• child_pid : signal_catcher.cpp
• clang_builtin_headers : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• clinit_function_suffix : java_static_initializers.cpp
• clinit_wrapper_suffix : java_static_initializers.cpp
• CNF_DUMP_BLOCK_SIZE : magic.h
• colour_map : event_graph.cpp
• config : api.cpp , config.h , config.cpp
• CONTRACT_PRAGMA_DISABLE_ASSIGNS_CHECK : instrument_spec_assigns.cpp
• cprover_builtin_headers : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• cprover_methods_to_ignore : java_utils.cpp , java_utils.h
• cscanner_ptr : cscanner.cpp , cscanner.h
• cw_builtin_headers : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h

- d -

• DEFAULT_MAX_FIELD_SENSITIVITY_ARRAY_SIZE : magic.h
• DSTRING_NUMBERS_MAX : magic.h

- e -

• empty_expr_set : ref_expr_set.h
• exception_needed_classes : java_bytecode_instrument.cpp , java_bytecode_instrument.h

- f -

• fix_malloc_free_set : dfcc_library.cpp
• format_expr_config : format_expr.cpp

- g -

• gcc_builtin_headers_alpha : ansi_c_internal_additions.h , ansi_c_internal_additions.cpp
• gcc_builtin_headers_arm : ansi_c_internal_additions.h , ansi_c_internal_additions.cpp
• gcc_builtin_headers_generic : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_2 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_3 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_4 : ansi_c_internal_additions.h , ansi_c_internal_additions.cpp
• gcc_builtin_headers_ia32_5 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_6 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_7 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_8 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_ia32_9 : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_math : ansi_c_internal_additions.h , ansi_c_internal_additions.cpp
• gcc_builtin_headers_mem_string : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_mips : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_omp : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_power : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_tm : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_builtin_headers_types : ansi_c_internal_additions.h , ansi_c_internal_additions.cpp
• gcc_builtin_headers_ubsan : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h
• gcc_options_with_argument : gcc_cmdline.cpp
• gcc_options_with_concatenated_argument : gcc_cmdline.cpp
• gcc_options_with_separated_argument : gcc_cmdline.cpp
• gcc_options_without_argument : gcc_cmdline.cpp
• goto_as86_options_with_argument : as86_cmdline.cpp
• goto_as_options_with_argument : as_cmdline.cpp
• goto_bcc_options_with_argument : bcc_cmdline.cpp
• goto_cc_options_with_separated_argument : gcc_cmdline.cpp
• goto_cc_options_without_argument : gcc_cmdline.cpp
• goto_ld_options_with_argument : ld_cmdline.cpp

- i -

• ID_loop_body : dfcc_loop_tags.cpp
• ID_loop_exiting : dfcc_loop_tags.cpp
• ID_loop_head : dfcc_loop_tags.cpp
• ID_loop_id : dfcc_loop_tags.cpp
• ID_loop_latch : dfcc_loop_tags.cpp
• ID_loop_top_level : dfcc_loop_tags.cpp
• ID_smt_numeral_index : smt_index.cpp
• ID_smt_symbol_index : smt_index.cpp
• immutable_empty_list : cmdline.cpp
• infix_map : format_expr.cpp
• inverse_operations : abstract_environment.cpp
• irep_ids_table : irep_ids.cpp

- l -

• languages : mode.cpp
• ld_options_with_argument : ld_cmdline.cpp
• ld_options_without_argument : ld_cmdline.cpp
• LOG_HEADER : instrument_spec_assigns.cpp
• logic_sequence_initializers : statement_list_typecheck.cpp
• logic_sequence_terminators : statement_list_typecheck.cpp

- m -

• MAX_CONCRETE_STRING_SIZE : magic.h
• MAX_FLATTENED_ARRAY_SIZE : magic.h
• ms_cl_flags : ms_cl_cmdline.cpp
• ms_cl_prefixes : ms_cl_cmdline.cpp
• ms_link_options : ms_link_cmdline.cpp
• mz_bitmasks : miniz.cpp

- n -

• next_thread_id : java_bytecode_concurrency_instrumentation.cpp
• nil_rep_storage : irep.cpp
• no_body_warnings : state_encoding.cpp
• non_ms_cl_options : ms_cl_cmdline.cpp
• non_ms_link_options : ms_link_cmdline.cpp
• null_message_handler : message.cpp , message.h

- o -

• operators : cpp_typecheck_expr.cpp
• optarg : getopt.c
• optind : getopt.c
• options_no_arg : armcc_cmdline.cpp
• options_with_arg : armcc_cmdline.cpp
• options_with_prefix : armcc_cmdline.cpp

- p -

• printable_char_range : java_object_factory.cpp
• PROPAGATE_STATIC_LOCAL_PRAGMA : instrument_spec_assigns.cpp

- r -

• r : irep_hash.h
• read : java.io.c
• read_result : java.io.c

- s -

• s_tdefl_large_dist_extra : miniz.cpp
• s_tdefl_large_dist_sym : miniz.cpp
• s_tdefl_len_extra : miniz.cpp
• s_tdefl_len_sym : miniz.cpp
• s_tdefl_num_probes : miniz.cpp
• s_tdefl_packed_code_size_syms_swizzle : miniz.cpp
• s_tdefl_small_dist_extra : miniz.cpp
• s_tdefl_small_dist_sym : miniz.cpp
• saj_table : simplify_utils.cpp
• solver_to_interrupt : satcheck_minisat2.cpp
• STRING_REFINEMENT_MAX_CHAR_WIDTH : magic.h
• symmetric_operations : abstract_environment.cpp

- t -

• thread_id : java_bytecode_concurrency_instrumentation.cpp
• to_inline : dfcc_library.cpp
• to_unwind : dfcc_library.cpp

- u -

• user_specified_clinit_suffix : java_static_initializers.cpp

- w -

• windows_builtin_headers : ansi_c_internal_additions.cpp , ansi_c_internal_additions.h

- y -

• yyansi_ctext : cpp_token_buffer.cpp