- c -
- c2cpp()
: cpp_internal_additions.cpp
- c_bit_field_replacement_type()
: c_bit_field_replacement_type.cpp
, c_bit_field_replacement_type.h
- c_bool_type()
: c_types.cpp
, c_types.h
- c_implicit_typecast()
: c_typecast.cpp
, c_typecast.h
- c_implicit_typecast_arithmetic()
: c_typecast.cpp
, c_typecast.h
- c_nondet_symbol_factory()
: c_nondet_symbol_factory.cpp
, c_nondet_symbol_factory.h
- c_preprocess()
: c_preprocess.cpp
, c_preprocess.h
- c_preprocess_arm()
: c_preprocess.cpp
- c_preprocess_codewarrior()
: c_preprocess.cpp
- c_preprocess_gcc_clang()
: c_preprocess.cpp
- c_preprocess_none()
: c_preprocess.cpp
- c_preprocess_visual_studio()
: c_preprocess.cpp
- c_sizeof_type_rec()
: symex_builtin_functions.cpp
- c_type_as_string()
: c_types.cpp
, c_types.h
- call_on_code()
: validate_code.cpp
- call_on_expr()
: validate_expressions.cpp
- call_on_type()
: validate_types.cpp
- can_cast_expr()
: expr_cast.h
- can_cast_expr< abs_exprt >()
: std_expr.h
- can_cast_expr< address_of_exprt >()
: std_expr.h
- can_cast_expr< and_exprt >()
: std_expr.h
- can_cast_expr< array_exprt >()
: std_expr.h
- can_cast_expr< array_list_exprt >()
: std_expr.h
- can_cast_expr< array_of_exprt >()
: std_expr.h
- can_cast_expr< binary_exprt >()
: std_expr.h
- can_cast_expr< binary_relation_exprt >()
: std_expr.h
- can_cast_expr< bitand_exprt >()
: std_expr.h
- can_cast_expr< bitnot_exprt >()
: std_expr.h
- can_cast_expr< bitor_exprt >()
: std_expr.h
- can_cast_expr< bitxor_exprt >()
: std_expr.h
- can_cast_expr< bswap_exprt >()
: std_expr.h
- can_cast_expr< code_asmt >()
: std_code.h
- can_cast_expr< code_assertt >()
: std_code.h
- can_cast_expr< code_assignt >()
: std_code.h
- can_cast_expr< code_assumet >()
: std_code.h
- can_cast_expr< code_blockt >()
: std_code.h
- can_cast_expr< code_breakt >()
: std_code.h
- can_cast_expr< code_continuet >()
: std_code.h
- can_cast_expr< code_deadt >()
: std_code.h
- can_cast_expr< code_declt >()
: std_code.h
- can_cast_expr< code_dowhilet >()
: std_code.h
- can_cast_expr< code_expressiont >()
: std_code.h
- can_cast_expr< code_fort >()
: std_code.h
- can_cast_expr< code_function_callt >()
: std_code.h
- can_cast_expr< code_gotot >()
: std_code.h
- can_cast_expr< code_ifthenelset >()
: std_code.h
- can_cast_expr< code_labelt >()
: std_code.h
- can_cast_expr< code_landingpadt >()
: std_code.h
- can_cast_expr< code_pop_catcht >()
: std_code.h
- can_cast_expr< code_push_catcht >()
: std_code.h
- can_cast_expr< code_returnt >()
: std_code.h
- can_cast_expr< code_skipt >()
: std_code.h
- can_cast_expr< code_switch_caset >()
: std_code.h
- can_cast_expr< code_switcht >()
: std_code.h
- can_cast_expr< code_try_catcht >()
: std_code.h
- can_cast_expr< code_whilet >()
: std_code.h
- can_cast_expr< codet >()
: std_code.h
- can_cast_expr< complex_exprt >()
: std_expr.h
- can_cast_expr< complex_imag_exprt >()
: std_expr.h
- can_cast_expr< complex_real_exprt >()
: std_expr.h
- can_cast_expr< concatenation_exprt >()
: std_expr.h
- can_cast_expr< constant_exprt >()
: std_expr.h
- can_cast_expr< dereference_exprt >()
: std_expr.h
- can_cast_expr< div_exprt >()
: std_expr.h
- can_cast_expr< dynamic_object_exprt >()
: std_expr.h
- can_cast_expr< equal_exprt >()
: std_expr.h
- can_cast_expr< extractbit_exprt >()
: std_expr.h
- can_cast_expr< extractbits_exprt >()
: std_expr.h
- can_cast_expr< factorial_power_exprt >()
: std_expr.h
- can_cast_expr< floatbv_typecast_exprt >()
: std_expr.h
- can_cast_expr< function_application_exprt >()
: std_expr.h
- can_cast_expr< ieee_float_equal_exprt >()
: std_expr.h
- can_cast_expr< ieee_float_notequal_exprt >()
: std_expr.h
- can_cast_expr< if_exprt >()
: std_expr.h
- can_cast_expr< implies_exprt >()
: std_expr.h
- can_cast_expr< index_designatort >()
: std_expr.h
- can_cast_expr< index_exprt >()
: std_expr.h
- can_cast_expr< isfinite_exprt >()
: std_expr.h
- can_cast_expr< isinf_exprt >()
: std_expr.h
- can_cast_expr< isnan_exprt >()
: std_expr.h
- can_cast_expr< isnormal_exprt >()
: std_expr.h
- can_cast_expr< let_exprt >()
: std_expr.h
- can_cast_expr< member_designatort >()
: std_expr.h
- can_cast_expr< member_exprt >()
: std_expr.h
- can_cast_expr< minus_exprt >()
: std_expr.h
- can_cast_expr< mod_exprt >()
: std_expr.h
- can_cast_expr< mult_exprt >()
: std_expr.h
- can_cast_expr< nondet_symbol_exprt >()
: std_expr.h
- can_cast_expr< not_exprt >()
: std_expr.h
- can_cast_expr< notequal_exprt >()
: std_expr.h
- can_cast_expr< object_descriptor_exprt >()
: std_expr.h
- can_cast_expr< or_exprt >()
: std_expr.h
- can_cast_expr< plus_exprt >()
: std_expr.h
- can_cast_expr< popcount_exprt >()
: std_expr.h
- can_cast_expr< power_exprt >()
: std_expr.h
- can_cast_expr< quantifier_exprt >()
: std_expr.h
- can_cast_expr< refined_string_exprt >()
: string_expr.h
- can_cast_expr< rem_exprt >()
: std_expr.h
- can_cast_expr< replication_exprt >()
: std_expr.h
- can_cast_expr< side_effect_expr_function_callt >()
: std_code.h
- can_cast_expr< side_effect_expr_nondett >()
: std_code.h
- can_cast_expr< side_effect_expr_throwt >()
: std_code.h
- can_cast_expr< side_effect_exprt >()
: std_code.h
- can_cast_expr< sign_exprt >()
: std_expr.h
- can_cast_expr< struct_exprt >()
: std_expr.h
- can_cast_expr< symbol_exprt >()
: std_expr.h
- can_cast_expr< transt >()
: std_expr.h
- can_cast_expr< typecast_exprt >()
: std_expr.h
- can_cast_expr< unary_exprt >()
: std_expr.h
- can_cast_expr< unary_minus_exprt >()
: std_expr.h
- can_cast_expr< unary_plus_exprt >()
: std_expr.h
- can_cast_expr< union_exprt >()
: std_expr.h
- can_cast_expr< update_exprt >()
: std_expr.h
- can_cast_expr< vector_exprt >()
: std_expr.h
- can_cast_expr< with_exprt >()
: std_expr.h
- can_cast_expr< xor_exprt >()
: std_expr.h
- can_cast_type()
: expr_cast.h
- can_cast_type< annotated_typet >()
: java_types.h
- can_cast_type< array_typet >()
: std_types.h
- can_cast_type< bitvector_typet >()
: std_types.h
- can_cast_type< bv_typet >()
: std_types.h
- can_cast_type< c_bit_field_typet >()
: std_types.h
- can_cast_type< c_bool_typet >()
: std_types.h
- can_cast_type< c_enum_tag_typet >()
: std_types.h
- can_cast_type< c_enum_typet >()
: std_types.h
- can_cast_type< class_typet >()
: std_types.h
- can_cast_type< code_typet >()
: std_types.h
- can_cast_type< complex_typet >()
: std_types.h
- can_cast_type< enumeration_typet >()
: std_types.h
- can_cast_type< fixedbv_typet >()
: std_types.h
- can_cast_type< floatbv_typet >()
: std_types.h
- can_cast_type< incomplete_array_typet >()
: std_types.h
- can_cast_type< java_class_typet >()
: java_types.h
- can_cast_type< java_generic_typet >()
: java_types.h
- can_cast_type< java_method_typet >()
: java_types.h
- can_cast_type< mathematical_function_typet >()
: mathematical_types.h
- can_cast_type< pointer_typet >()
: std_types.h
- can_cast_type< range_typet >()
: std_types.h
- can_cast_type< reference_typet >()
: std_types.h
- can_cast_type< signedbv_typet >()
: std_types.h
- can_cast_type< string_typet >()
: std_types.h
- can_cast_type< struct_tag_typet >()
: std_types.h
- can_cast_type< struct_typet >()
: std_types.h
- can_cast_type< struct_union_typet >()
: std_types.h
- can_cast_type< symbol_typet >()
: std_types.h
- can_cast_type< tag_typet >()
: std_types.h
- can_cast_type< typedef_typet >()
: typedef_type.h
- can_cast_type< union_tag_typet >()
: std_types.h
- can_cast_type< union_typet >()
: std_types.h
- can_cast_type< unsignedbv_typet >()
: std_types.h
- can_cast_type< vector_typet >()
: std_types.h
- cannot_be_neg()
: string_constraint.cpp
- CBMC_trace()
: cprover_builtin_headers.h
- change_impact()
: change_impact.cpp
, change_impact.h
- char16_t_type()
: c_types.cpp
, c_types.h
- char32_t_type()
: c_types.cpp
, c_types.h
- char_array_of_pointer()
: string_constraint_generator.h
, string_constraint_generator_main.cpp
- char_type()
: c_types.cpp
, c_types.h
- character_equals_ignore_case()
: string_constraint_generator_comparison.cpp
- check_and_replace_target()
: replace_java_nondet.cpp
- check_apply_invariants()
: code_contracts.cpp
- check_axioms()
: string_refinement.cpp
- check_c_implicit_typecast()
: c_typecast.cpp
, c_typecast.h
- check_call_sequence()
: call_sequences.cpp
, call_sequences.h
- check_code()
: validate_code.cpp
, validate_code.h
- check_expr()
: validate_expressions.cpp
, validate_expressions.h
- check_renaming()
: goto_symex_state.cpp
- check_renaming_l1()
: goto_symex_state.cpp
- check_type()
: validate_types.h
, validate_types.cpp
- checked_dereference()
: java_utils.cpp
, java_utils.h
- clean_deref()
: java_pointer_casts.cpp
- clean_identifier()
: expr2c.cpp
- cleanup_module()
: driver.h
- cleanup_var_table()
: java_local_variable_table.cpp
- clinit_already_run_variable_name()
: java_static_initializers.cpp
- clinit_function_name()
: java_static_initializers.cpp
- clinit_local_init_complete_var_name()
: java_static_initializers.cpp
- clinit_state_var_name()
: java_static_initializers.cpp
- clinit_thread_local_state_var_name()
: java_static_initializers.cpp
- clinit_wrapper_do_recursive_calls()
: java_static_initializers.cpp
- clinit_wrapper_name()
: java_static_initializers.cpp
, java_static_initializers.h
- code_assign_function_application()
: java_string_library_preprocess.cpp
- code_contracts()
: code_contracts.cpp
, code_contracts.h
- collect_comma_expression()
: cpp_typecheck_expr.cpp
- collect_conditions()
: cover_util.cpp
, cover_util.h
- collect_conditions_rec()
: cover_util.h
, cover_util.cpp
- collect_decisions()
: cover_util.h
, cover_util.cpp
, cover_util.h
- collect_decisions_rec()
: cover_util.cpp
, cover_util.h
- collect_deref_expr()
: mm_io.cpp
- collect_eloc()
: count_eloc.cpp
- collect_mcdc_controlling()
: cover_instrument_mcdc.cpp
- collect_mcdc_controlling_nested()
: cover_instrument_mcdc.cpp
- collect_mcdc_controlling_rec()
: cover_instrument_mcdc.cpp
- collect_open_variables()
: slice.cpp
, slice.h
- collect_operands()
: cover_util.cpp
, cover_util.h
- collect_virtual_function_callees()
: remove_virtual_functions.cpp
, remove_virtual_functions.h
- combine_results()
: string_constraint_generator.h
, string_constraint_generator_main.cpp
- comment()
: race_check.cpp
- compare_components()
: jsil_types.cpp
- compiler_name()
: gcc_mode.cpp
- complex_member()
: remove_complex.cpp
- component()
: std_expr.cpp
- compute_address_taken_functions()
: compute_called_functions.cpp
, compute_called_functions.h
- compute_called_functions()
: compute_called_functions.cpp
, compute_called_functions.h
- compute_called_functions_from_ai()
: unreachable_instructions.cpp
- compute_functions()
: compute_called_functions.cpp
- compute_inverse_function()
: string_refinement.cpp
- compute_pointer_offset()
: pointer_offset_size.h
, pointer_offset_size.cpp
- concat_dir_file()
: file_util.cpp
, file_util.h
- concurrency()
: concurrency.cpp
, concurrency.h
- cone_of_influence()
: cone_of_influence.h
- conjunction()
: std_expr.h
, std_expr.cpp
- const_literal()
: literal.h
- constant_bool()
: java_entry_point.cpp
- constant_float()
: string_constraint_generator_float.cpp
- contains_instanceof()
: remove_instanceof.cpp
- convert()
: xml_irep.h
, json_goto_trace.h
, value_set_analysis.cpp
, value_set_analysis.h
, satcheck_minisat.cpp
, xml_irep.h
, xml_goto_trace.cpp
, xml_goto_trace.h
, builtin_factory.cpp
, satcheck_minisat2.cpp
, xml_irep.cpp
, satcheck_glucose.cpp
, xml_irep.cpp
, value_set_analysis.cpp
- convert_annotations()
: java_bytecode_convert_class.cpp
, java_bytecode_convert_class.h
- convert_assert()
: json_goto_trace.cpp
, json_goto_trace.h
- convert_character_literal()
: convert_character_literal.h
, convert_character_literal.cpp
- convert_decl()
: json_goto_trace.cpp
, json_goto_trace.h
- convert_default()
: json_goto_trace.cpp
, json_goto_trace.h
- convert_float_literal()
: convert_float_literal.cpp
, convert_float_literal.h
- convert_input()
: json_goto_trace.h
, json_goto_trace.cpp
- convert_integer_literal()
: convert_integer_literal.cpp
, convert_integer_literal.h
- convert_java_annotations()
: java_bytecode_convert_class.cpp
, java_bytecode_convert_class.h
- convert_nondet()
: convert_java_nondet.cpp
, convert_java_nondet.h
, convert_java_nondet.cpp
, convert_java_nondet.h
, convert_java_nondet.cpp
, convert_java_nondet.h
, convert_java_nondet.cpp
- convert_one_string_literal()
: convert_string_literal.cpp
- convert_output()
: json_goto_trace.cpp
, json_goto_trace.h
- convert_properties_json()
: show_properties.h
, show_properties.cpp
- convert_return()
: json_goto_trace.h
, json_goto_trace.cpp
- convert_string_literal()
: convert_string_literal.cpp
, convert_string_literal.h
- convert_synchronized_methods()
: java_bytecode_concurrency_instrumentation.h
, java_bytecode_concurrency_instrumentation.cpp
- convert_threadblock()
: java_bytecode_concurrency_instrumentation.h
, java_bytecode_concurrency_instrumentation.cpp
- convert_TOK_NUMBER()
: json_y.tab.cpp
- convert_TOK_STRING()
: json_y.tab.cpp
- copy_array()
: cpp_typecheck_constructor.cpp
- copy_member()
: cpp_typecheck_constructor.cpp
- copy_parent()
: cpp_typecheck_constructor.cpp
- count_eloc()
: count_eloc.cpp
, count_eloc.h
- cover_instrument_end_of_function()
: cover_instrument_other.cpp
, cover_instrument.h
- cpp11_keyword()
: ansi_c_lex.yy.cpp
- cpp98_keyword()
: ansi_c_lex.yy.cpp
- cpp_convert_auto()
: cpp_convert_type.cpp
, cpp_convert_type.h
- cpp_convert_plain_type()
: cpp_convert_type.h
, cpp_convert_type.cpp
- cpp_exception_id()
: cpp_exception_id.h
, cpp_exception_id.cpp
- cpp_exception_list()
: cpp_exception_id.cpp
, cpp_exception_id.h
- cpp_exception_list_rec()
: cpp_exception_id.cpp
- cpp_expr2name()
: cpp_type2name.cpp
, cpp_type2name.h
- cpp_internal_additions()
: cpp_internal_additions.cpp
, cpp_internal_additions.h
- cpp_operator()
: ansi_c_lex.yy.cpp
- cpp_parse()
: cpp_parser.cpp
, parse.cpp
- cpp_symbol_expr()
: cpp_util.h
, cpp_util.cpp
- cpp_type2name()
: cpp_type2name.h
, cpp_type2name.cpp
- cpp_typecheck()
: cpp_typecheck.h
, cpp_typecheck.cpp
, cpp_typecheck.h
- cprover_c_library_factory()
: cprover_library.h
, cprover_library.cpp
- cprover_cpp_library_factory()
: cprover_library.h
, cprover_library.cpp
- create_clinit_wrapper_symbols()
: java_static_initializers.cpp
- create_fatal_assertion()
: std_code.h
, std_code.cpp
- create_initialize()
: java_entry_point.cpp
, jsil_entry_point.cpp
- create_static_function_call()
: remove_virtual_functions.cpp
- create_static_initializer_wrappers()
: java_static_initializers.h
, java_static_initializers.cpp
- create_stub_global_initializers()
: java_static_initializers.h
- create_stub_global_symbol()
: java_bytecode_language.cpp
- create_stub_global_symbols()
: java_bytecode_language.cpp
- create_void_function_symbol()
: call_graph_test_utils.cpp
, call_graph_test_utils.h
- cubes()
: miniBDD.cpp
, miniBDD.h