cprover
cprover_prefix.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define CPROVER_PREFIX   "__CPROVER_"
 
#define CPROVER_FKT_PREFIX   "__CPROVER_fkt_"
 
#define CPROVER_MACRO_PREFIX   "__CPROVER_macro_"
 

Macro Definition Documentation

◆ CPROVER_FKT_PREFIX

#define CPROVER_FKT_PREFIX   "__CPROVER_fkt_"

Definition at line 14 of file cprover_prefix.h.

Referenced by goto_symext::symex_function_call_symbol().

◆ CPROVER_MACRO_PREFIX

#define CPROVER_MACRO_PREFIX   "__CPROVER_macro_"

◆ CPROVER_PREFIX

#define CPROVER_PREFIX   "__CPROVER_"

Definition at line 13 of file cprover_prefix.h.

Referenced by compilet::add_written_cprover_symbols(), adjust_float_expressions(), branch(), value_set_dereferencet::build_reference_to(), dump_ct::cleanup_harness(), clinit_local_init_complete_var_name(), clinit_state_var_name(), clinit_thread_local_state_var_name(), goto_checkt::collect_allocations(), show_goto_functions_jsont::convert(), show_goto_functions_xmlt::convert(), dump_ct::convert_function_declaration(), create_initialize(), dead_object(), deallocated(), goto_convertt::do_function_call_symbol(), c_typecheck_baset::do_initializer(), goto_convertt::do_printf(), goto_convertt::do_scanf(), c_typecheck_baset::do_special_functions(), dynamic_size(), goto_functionst::entry_point(), function_enter(), function_exit(), get_first_label_id(), get_second_label_id(), goto_checkt::goto_check(), implicit(), shared_bufferst::is_buffered(), is_refined_string_type(), is_shared(), system_library_symbolst::is_symbol_internal_symbol(), java_internal_additions(), jsil_internal_additions(), instrumentert::local(), linker_script_merget::ls_data2instructions(), malloc_object(), mm_io(), model_argc_argv(), nondet_static(), print_global_state_size(), refined_string_typet::refined_string_typet(), remove_internal_symbols(), configt::set_from_symbol_table(), configt::set_object_bits_from_symbol_table(), slice_global_inits(), static_lifetime_init(), string_from_ns(), shared_bufferst::track(), constant_propagator_domaint::transform(), java_bytecode_typecheckt::typecheck_expr_symbol(), c_typecheck_baset::typecheck_expr_symbol(), and unsigned_from_ns().