- 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_enum_constant_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_index_type() : c_types.cpp, c_types.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
- c_wrangler() : c_wrangler.cpp, c_wrangler.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 >() : pointer_expr.h
- can_cast_expr< and_exprt >() : std_expr.h
- can_cast_expr< array_comprehension_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_overflow_exprt >() : bitvector_expr.h
- can_cast_expr< binary_relation_exprt >() : std_expr.h
- can_cast_expr< bitand_exprt >() : bitvector_expr.h
- can_cast_expr< bitnot_exprt >() : bitvector_expr.h
- can_cast_expr< bitor_exprt >() : bitvector_expr.h
- can_cast_expr< bitreverse_exprt >() : bitvector_expr.h
- can_cast_expr< bitxor_exprt >() : bitvector_expr.h
- can_cast_expr< bswap_exprt >() : bitvector_expr.h
- can_cast_expr< byte_extract_exprt >() : byte_operators.h
- can_cast_expr< byte_update_exprt >() : byte_operators.h
- can_cast_expr< class_method_descriptor_exprt >() : std_expr.h
- can_cast_expr< code_asm_gcct >() : std_code.h
- can_cast_expr< code_asmt >() : std_code.h
- can_cast_expr< code_assertt >() : std_code.h
- can_cast_expr< code_assignt >() : goto_instruction_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 >() : goto_instruction_code.h
- can_cast_expr< code_declt >() : goto_instruction_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_frontend_assignt >() : std_code.h
- can_cast_expr< code_frontend_declt >() : std_code.h
- can_cast_expr< code_frontend_returnt >() : std_code.h
- can_cast_expr< code_function_callt >() : goto_instruction_code.h
- can_cast_expr< code_gcc_switch_case_ranget >() : std_code.h
- can_cast_expr< code_gotot >() : std_code.h
- can_cast_expr< code_ifthenelset >() : std_code.h
- can_cast_expr< code_inputt >() : goto_instruction_code.h
- can_cast_expr< code_labelt >() : std_code.h
- can_cast_expr< code_landingpadt >() : std_code.h
- can_cast_expr< code_outputt >() : goto_instruction_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 >() : goto_instruction_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_base.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 >() : bitvector_expr.h
- can_cast_expr< cond_exprt >() : std_expr.h
- can_cast_expr< conditional_target_group_exprt >() : c_expr.h
- can_cast_expr< constant_exprt >() : std_expr.h
- can_cast_expr< count_leading_zeros_exprt >() : bitvector_expr.h
- can_cast_expr< count_trailing_zeros_exprt >() : bitvector_expr.h
- can_cast_expr< dereference_exprt >() : pointer_expr.h
- can_cast_expr< div_exprt >() : std_expr.h
- can_cast_expr< dynamic_object_exprt >() : pointer_expr.h
- can_cast_expr< element_address_exprt >() : pointer_expr.h
- can_cast_expr< empty_union_exprt >() : std_expr.h
- can_cast_expr< equal_exprt >() : std_expr.h
- can_cast_expr< euclidean_mod_exprt >() : std_expr.h
- can_cast_expr< exists_exprt >() : mathematical_expr.h
- can_cast_expr< extractbit_exprt >() : bitvector_expr.h
- can_cast_expr< extractbits_exprt >() : bitvector_expr.h
- can_cast_expr< factorial_power_exprt >() : mathematical_expr.h
- can_cast_expr< field_address_exprt >() : pointer_expr.h
- can_cast_expr< fieldref_exprt >() : java_bytecode_parse_tree.h
- can_cast_expr< floatbv_typecast_exprt >() : floatbv_expr.h
- can_cast_expr< forall_exprt >() : mathematical_expr.h
- can_cast_expr< function_application_exprt >() : mathematical_expr.h
- can_cast_expr< goto_trace_constant_pointer_exprt >() : goto_trace.h
- can_cast_expr< greater_than_exprt >() : std_expr.h
- can_cast_expr< greater_than_or_equal_exprt >() : std_expr.h
- can_cast_expr< ieee_float_equal_exprt >() : floatbv_expr.h
- can_cast_expr< ieee_float_notequal_exprt >() : floatbv_expr.h
- can_cast_expr< ieee_float_op_exprt >() : floatbv_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< is_dynamic_object_exprt >() : pointer_expr.h
- can_cast_expr< is_invalid_pointer_exprt >() : pointer_predicates.h
- can_cast_expr< isfinite_exprt >() : floatbv_expr.h
- can_cast_expr< isinf_exprt >() : floatbv_expr.h
- can_cast_expr< isnan_exprt >() : floatbv_expr.h
- can_cast_expr< isnormal_exprt >() : floatbv_expr.h
- can_cast_expr< java_instanceof_exprt >() : java_expr.h
- can_cast_expr< java_string_literal_exprt >() : java_string_literal_expr.h
- can_cast_expr< lambda_exprt >() : mathematical_expr.h
- can_cast_expr< less_than_exprt >() : std_expr.h
- can_cast_expr< less_than_or_equal_exprt >() : std_expr.h
- can_cast_expr< let_exprt >() : std_expr.h
- can_cast_expr< literal_exprt >() : literal_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< nil_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_address_exprt >() : pointer_expr.h
- can_cast_expr< object_descriptor_exprt >() : pointer_expr.h
- can_cast_expr< or_exprt >() : std_expr.h
- can_cast_expr< plus_exprt >() : std_expr.h
- can_cast_expr< popcount_exprt >() : bitvector_expr.h
- can_cast_expr< power_exprt >() : mathematical_expr.h
- can_cast_expr< quantifier_exprt >() : mathematical_expr.h
- can_cast_expr< refined_string_exprt >() : string_expr.h
- can_cast_expr< replication_exprt >() : bitvector_expr.h
- can_cast_expr< shift_exprt >() : bitvector_expr.h
- can_cast_expr< shuffle_vector_exprt >() : c_expr.h
- can_cast_expr< side_effect_expr_assignt >() : std_code.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_overflowt >() : c_expr.h
- can_cast_expr< side_effect_expr_statement_expressiont >() : 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< ssa_exprt >() : ssa_expr.h
- can_cast_expr< string_constantt >() : string_constant.h
- can_cast_expr< struct_exprt >() : std_expr.h
- can_cast_expr< symbol_exprt >() : std_expr.h
- can_cast_expr< transt >() : mathematical_expr.h
- can_cast_expr< type_exprt >() : 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_overflow_exprt >() : bitvector_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< bool_typet >() : std_types.h
- can_cast_type< bv_typet >() : bitvector_types.h
- can_cast_type< c_bit_field_typet >() : c_types.h
- can_cast_type< c_bool_typet >() : c_types.h
- can_cast_type< c_enum_tag_typet >() : c_types.h
- can_cast_type< c_enum_typet >() : c_types.h
- can_cast_type< class_typet >() : std_types.h
- can_cast_type< code_typet >() : std_types.h
- can_cast_type< code_with_contract_typet >() : c_types.h
- can_cast_type< complex_typet >() : std_types.h
- can_cast_type< enumeration_typet >() : std_types.h
- can_cast_type< fixedbv_typet >() : bitvector_types.h
- can_cast_type< floatbv_typet >() : bitvector_types.h
- can_cast_type< integer_bitvector_typet >() : bitvector_types.h
- can_cast_type< java_class_typet >() : java_types.h
- can_cast_type< java_generic_parametert >() : java_types.h
- can_cast_type< java_generic_typet >() : java_types.h
- can_cast_type< java_method_typet >() : java_types.h
- can_cast_type< java_reference_typet >() : java_types.h
- can_cast_type< mathematical_function_typet >() : mathematical_types.h
- can_cast_type< pointer_typet >() : pointer_expr.h
- can_cast_type< range_typet >() : std_types.h
- can_cast_type< reference_typet >() : pointer_expr.h
- can_cast_type< signedbv_typet >() : bitvector_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< tag_typet >() : std_types.h
- can_cast_type< typedef_typet >() : typedef_type.h
- can_cast_type< union_tag_typet >() : c_types.h
- can_cast_type< union_typet >() : c_types.h
- can_cast_type< unsignedbv_typet >() : bitvector_types.h
- can_cast_type< vector_typet >() : std_types.h
- can_evaluate_to_constant() : java_trace_validation.cpp, java_trace_validation.h
- cannot_be_neg() : string_constraint.cpp
- capitalize() : string_utils.cpp, string_utils.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_type() : c_types.cpp, c_types.h
- character_equals_ignore_case() : string_constraint_generator_comparison.cpp
- check_address_structure() : java_trace_validation.h, java_trace_validation.cpp
- check_and_replace_target() : replace_java_nondet.cpp
- check_assertion() : static_verifier.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_constant_structure() : java_trace_validation.cpp, java_trace_validation.h
- check_expr() : validate_expressions.cpp, validate_expressions.h
- check_index_structure() : java_trace_validation.cpp, java_trace_validation.h
- check_lhs_assumptions() : java_trace_validation.cpp
- check_member_structure() : java_trace_validation.cpp, java_trace_validation.h
- check_one_of_options() : variable_sensitivity_configuration.cpp
- check_renaming() : renaming_level.cpp, renaming_level.h
- check_renaming_l1() : renaming_level.cpp, renaming_level.h
- check_rhs_assumptions() : java_trace_validation.cpp
- check_step_assumptions() : java_trace_validation.cpp
- check_struct_structure() : java_trace_validation.cpp, java_trace_validation.h
- check_symbol_structure() : java_trace_validation.h, java_trace_validation.cpp
- check_trace_assumptions() : java_trace_validation.cpp, java_trace_validation.h
- check_type() : validate_types.cpp, validate_types.h
- checked_dereference() : java_utils.cpp, java_utils.h
- class_name_from_method_name() : java_utils.cpp, java_utils.h
- class_to_declared_symbols() : java_static_initializers.h, java_static_initializers.cpp
- 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_states_type() : 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
- codepoint_hex_to_utf16_native_endian() : unicode.cpp, unicode.h
- codepoint_hex_to_utf8() : unicode.h, unicode.cpp
- collapse_overlapping_intervals() : value_set_abstract_object.cpp
- collapse_values_in_intervals() : value_set_abstract_object.cpp
- collect_comma_expression() : cpp_typecheck_expr.cpp
- collect_conditions() : cover_util.cpp, cover_util.h
- collect_conditions_rec() : cover_util.cpp, cover_util.h
- collect_decisions() : 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_intervals() : value_set_abstract_object.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_messages() : smt_response_validation.cpp
- collect_messages_impl() : smt_response_validation.cpp
- collect_open_variables() : slice.cpp, slice.h
- collect_operands() : cover_util.h, cover_util.cpp
- collect_virtual_function_callees() : remove_virtual_functions.cpp, remove_virtual_functions.h
- comment() : race_check.cpp
- compact_values() : value_set_abstract_object.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.cpp
- compute_called_functions() : compute_called_functions.h, compute_called_functions.cpp
- compute_called_functions_from_ai() : unreachable_instructions.cpp
- compute_functions() : compute_called_functions.cpp
- compute_innermost_loop_ids() : sese_regions.cpp
- compute_pointer_offset() : pointer_offset_size.cpp, pointer_offset_size.h
- concat_dir_file() : file_util.cpp, file_util.h
- concurrency() : concurrency.h, concurrency.cpp
- conditional_array_cast() : java_bytecode_convert_method.cpp
- cone_of_influence() : cone_of_influence.h
- configure_gcc() : gcc_version.cpp, gcc_version.h
- conjunction() : std_expr.cpp, std_expr.h
- const_literal() : literal.h
- constant_bool() : java_entry_point.cpp
- constant_float() : string_constraint_generator_float.cpp
- constants_expression_transform() : abstract_value_object.cpp
- construct_value_expr_from_smt() : construct_value_expr_from_smt.cpp, construct_value_expr_from_smt.h
- constructor_of() : constructor_of.h
- constructor_symbol() : lambda_synthesis.cpp
- contains() : string_constraint_instantiation.cpp
- contains_instanceof() : remove_instanceof.cpp
- contains_symbol_prefix() : graphml_witness.cpp
- convert() : json_goto_trace.h, xml_irep.h, xml_irep.cpp, satcheck_minisat2.cpp, satcheck_minisat.cpp, satcheck_glucose.cpp, value_set_analysis.h, builtin_factory.cpp, value_set_analysis.h, xml_goto_trace.cpp, value_set_analysis.cpp, xml_goto_trace.h
- convert_annotations() : java_bytecode_convert_class.cpp, java_bytecode_convert_class.h
- convert_assert() : json_goto_trace.cpp, json_goto_trace.h
- convert_bool_literal() : convert_bool_literal.cpp, convert_bool_literal.h
- convert_character_literal() : convert_character_literal.cpp, convert_character_literal.h
- convert_decl() : json_goto_trace.cpp, json_goto_trace.h
- convert_default() : json_goto_trace.cpp, json_goto_trace.h
- convert_dint_bit_literal_value() : convert_dint_literal.cpp, convert_dint_literal.h
- convert_dint_dec_literal_value() : convert_dint_literal.cpp, convert_dint_literal.h
- convert_dint_hex_literal_value() : convert_dint_literal.cpp, convert_dint_literal.h
- convert_dint_literal_value() : convert_dint_literal.cpp
- convert_expr_to_smt() : convert_expr_to_smt.cpp, convert_expr_to_smt.h, convert_expr_to_smt.cpp
- convert_float_literal() : convert_float_literal.cpp, convert_float_literal.h
- convert_identifier() : convert_string_value.cpp, convert_string_value.h
- convert_input() : json_goto_trace.cpp, json_goto_trace.h
- convert_int_bit_literal() : convert_int_literal.cpp, convert_int_literal.h
- convert_int_bit_literal_value() : convert_int_literal.cpp, convert_int_literal.h
- convert_int_dec_literal() : convert_int_literal.cpp, convert_int_literal.h
- convert_int_dec_literal_value() : convert_int_literal.cpp, convert_int_literal.h
- convert_int_hex_literal() : convert_int_literal.cpp, convert_int_literal.h
- convert_int_hex_literal_value() : convert_int_literal.cpp, convert_int_literal.h
- 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_label() : convert_string_value.cpp, convert_string_value.h
- convert_line() : file_converter.cpp, converter.cpp
- convert_member_name_to_enum_value() : c_types_util.h
- convert_member_struct() : boolbv_member.cpp
- convert_member_union() : boolbv_member.cpp
- convert_multiary_operator_to_terms() : convert_expr_to_smt.cpp
- convert_nondet() : 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.cpp, show_properties.h
- convert_real_literal() : convert_real_literal.cpp, convert_real_literal.h
- convert_relational_to_smt() : convert_expr_to_smt.cpp
- convert_return() : json_goto_trace.cpp, json_goto_trace.h
- convert_string_literal() : convert_string_literal.cpp, convert_string_literal.h
- convert_symex_target_equation() : bmc_util.cpp, bmc_util.h
- convert_synchronized_methods() : java_bytecode_concurrency_instrumentation.h, java_bytecode_concurrency_instrumentation.cpp
- convert_threadblock() : java_bytecode_concurrency_instrumentation.cpp, java_bytecode_concurrency_instrumentation.h
- convert_title() : convert_string_value.cpp, convert_string_value.h
- convert_type_to_smt_sort() : convert_expr_to_smt.cpp, convert_expr_to_smt.h
- convert_version() : convert_string_value.cpp, convert_string_value.h
- 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
- count_expr_typed() : show_program.cpp
- count_globals() : abstract_environment.cpp
- count_properties() : properties.cpp, properties.h
- cover_instrument_end_of_function() : cover_instrument.h, cover_instrument_other.cpp
- cpp_convert_auto() : cpp_convert_type.cpp, cpp_convert_type.h
- cpp_convert_plain_type() : cpp_convert_type.cpp, cpp_convert_type.h
- cpp_exception_id() : cpp_exception_id.cpp, cpp_exception_id.h
- 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_parse() : cpp_parser.cpp, parse.cpp
- cpp_symbol_expr() : cpp_util.cpp, cpp_util.h
- cpp_type2name() : cpp_type2name.cpp, cpp_type2name.h
- 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.cpp, cprover_library.h
- create_abstract_object() : variable_sensitivity_object_factory.cpp
- create_and_declare_local() : lambda_synthesis.cpp
- create_array_with_type_body() : create_array_with_type_intrinsic.cpp, create_array_with_type_intrinsic.h
- create_clinit_wrapper_function_symbol() : java_static_initializers.cpp
- create_clinit_wrapper_symbols() : java_static_initializers.cpp
- create_context_abstract_object() : variable_sensitivity_object_factory.cpp
- create_data_block_parameter() : statement_list_typecheck.cpp
- create_directory() : file_util.cpp, file_util.h
- create_fatal_assertion() : std_code.cpp, std_code.h
- create_function_symbol() : java_static_initializers.cpp
- create_initialize() : jsil_entry_point.cpp
- create_invokedynamic_synthetic_classes() : lambda_synthesis.h, lambda_synthesis.cpp
- create_java_initialize() : java_entry_point.cpp, java_entry_point.h
- create_method_stub_symbol() : java_bytecode_convert_method.cpp, java_bytecode_convert_method.h
- create_parameter_names() : java_bytecode_convert_method.cpp, java_bytecode_convert_method.h
- create_parameter_symbols() : java_bytecode_convert_method.cpp, java_bytecode_convert_method.h
- create_static_function_call() : remove_virtual_functions.cpp
- create_static_initializer_symbols() : java_static_initializers.cpp, java_static_initializers.h
- 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_user_specified_clinit_function_symbol() : java_static_initializers.cpp
- create_void_function_symbol() : call_graph_test_utils.cpp, call_graph_test_utils.h
- cubes() : miniBDD.cpp, miniBDD.h