- d -

• dead_object() : pointer_predicates.h , pointer_predicates.cpp
• deallocated() : pointer_predicates.h , pointer_predicates.cpp
• debug_check_axioms_step() : string_refinement.cpp
• debug_model() : string_refinement.cpp
• declare_function() : java_utils.cpp
• declaring_class() : java_utils.cpp , java_utils.h
• default_loop_contract_clauses() : dfcc_cfg_info.cpp
• default_path_strategy() : path_storage.cpp
• default_step() : structured_trace_util.cpp , structured_trace_util.h
• default_step_kind() : structured_trace_util.cpp , structured_trace_util.h
• default_step_name() : structured_trace_util.h , structured_trace_util.cpp
• depends_on() : dfcc_infer_loop_assigns.cpp
• deref_expr() : shadow_memory_util.cpp , shadow_memory_util.h
• dereference() : goto_program_dereference.cpp , goto_program_dereference.h
• deserialize_constant_int_arg() : string_format_builtin_function.cpp
• destruct_locals() : destructor.cpp , destructor.h
• destructive_compact() : value_set_abstract_object.cpp
• detect_file_type() : compile.cpp
• determine_result() : properties.cpp , properties.h
• dfcc() : dfcc.cpp , dfcc.h
• dfcc_check_loop_normal_form() : dfcc_check_loop_normal_form.cpp , dfcc_check_loop_normal_form.h
• dfcc_contract_mode_to_string() : dfcc_contract_mode.cpp , dfcc_contract_mode.h
• dfcc_get_loop_id() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_has_loop_id() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_infer_loop_assigns_for_function() : dfcc_infer_loop_assigns.cpp , dfcc_infer_loop_assigns.h
• dfcc_infer_loop_assigns_for_loop() : dfcc_infer_loop_assigns.cpp
• dfcc_is_cprover_function_symbol() : dfcc_is_cprover_symbol.cpp , dfcc_is_cprover_symbol.h
• dfcc_is_cprover_static_symbol() : dfcc_is_cprover_symbol.cpp , dfcc_is_cprover_symbol.h
• dfcc_is_loop_body() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_is_loop_exiting() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_is_loop_head() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_is_loop_latch() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_is_loop_top_level() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_remove_loop_tags() : dfcc_loop_tags.h , dfcc_loop_tags.cpp , dfcc_loop_tags.h , dfcc_loop_tags.cpp , dfcc_loop_tags.h , dfcc_loop_tags.cpp
• dfcc_root_objects() : dfcc_root_object.cpp , dfcc_root_object.h
• dfcc_set_loop_body() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_set_loop_exiting() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_set_loop_head() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_set_loop_id() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_set_loop_latch() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• dfcc_set_loop_tag() : dfcc_loop_tags.cpp
• dfcc_set_loop_top_level() : dfcc_loop_tags.cpp , dfcc_loop_tags.h
• disconnect_unreachable_functions() : call_graph_helpers.cpp , call_graph_helpers.h
• disjunction() : std_expr.cpp , std_expr.h
• dispatch_expr_to_smt_conversion() : convert_expr_to_smt.cpp
• display_index_set() : string_refinement.cpp
• do_prefix() : cpp_type2name.cpp
• do_type_dependencies() : linking.cpp
• document_properties_html() : document_properties.cpp , document_properties.h
• document_properties_latex() : document_properties.cpp , document_properties.h
• does_function_call_return() : remove_returns.cpp , remove_returns.h
• does_pattern_miss_descriptor() : load_method_by_regex.cpp , load_method_by_regex.h
• dominators_pretty_print_node() : cfg_dominators.h
• dot() : dot.cpp , dot.h
• double_type() : c_types.cpp , c_types.h
• dprintf() : stdio.c
• drop_pointer_typecasts() : may_alias.cpp
• drop_quotes() : smt2_dec.cpp
• dump() : solver_types.cpp
• dump_c() : dump_c.cpp , dump_c.h
• dump_c_type_header() : dump_c.cpp , dump_c.h
• dump_cpp() : dump_c.cpp , dump_c.h
• dump_loop_contracts() : dump_loop_contracts.cpp , dump_loop_contracts.h
• duplicate_per_byte() : expr_initializer.cpp , expr_initializer.h
• duplicated_previous_step() : show_program.cpp