Here is a list of all variables with links to the files they belong to:

A

B

C

D

E

F

G

I

L

M

N

O

P

R

S

T

U

W

Y

_

- _ -

• __CPROVER_alloca_object : cprover_contracts.c
• __CPROVER_deallocated : cprover.h, cprover_contracts.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
• __CPROVER_malloc_may_fail : cprover.h
• __CPROVER_max_malloc_size : cprover.h
• __CPROVER_memory_leak : cprover.h, cprover_contracts.c
• __CPROVER_new_object : cprover_contracts.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.cpp, config.h
• CONTRACT_PRAGMA_DISABLE_ASSIGNS_CHECK : instrument_spec_assigns.cpp
• copy_on_write_pointeet< Num >::unshareable : cow.h
• 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.cpp, ansi_c_internal_additions.h
• gcc_builtin_headers_arm : ansi_c_internal_additions.cpp, ansi_c_internal_additions.h
• 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.cpp, ansi_c_internal_additions.h
• 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.cpp, ansi_c_internal_additions.h
• 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.cpp, ansi_c_internal_additions.h
• 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

- 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
• 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

- s -

• saj_table : simplify_utils.cpp
• sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::bits : sharing_map.h
• sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::chunk : sharing_map.h
• sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::dummy_level : sharing_map.h
• sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::levels : sharing_map.h
• sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::mask : sharing_map.h
• sharing_treet< derivedt, named_subtreest >::empty_d : irep.h
• 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 -

• usecount : modules.h
• 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