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

- d -

• dead_code_cwe_rule() : cwe_mapping.cpp, cwe_mapping.h
• decay_array_operand() : migrate.cpp
• decide_on_expr_type() : migrate.cpp
• declare_argc_argv() : clang_c_adjust.h, clang_c_adjust_expr.cpp
• declare_empty_function() : read_bin_goto_object.cpp
• declared_global_or_nonlocal() : converter_funcdef.cpp
• declared_in() : contracts.cpp
• declares_body_return_type() : python_lambda.cpp
• declares_frame_condition() : contracts.cpp
• declares_global() : converter_symbols.cpp
• declines_alignment() : type_byte_size.cpp
• decToHexa() : solidity_string.c
• default_replace_dynamic_allocation() : dynamic_allocation.h
• deferred_at() : converter_symbols.cpp
• defines_function() : expr.cpp
• defines_method() : builtins.cpp
• defining_decl() : clang_c_convert.cpp
• delete_key() : pthread_lib.c
• denotes_thrashable_subtype() : goto_convert_functions.cpp
• dereference() : goto_program_dereference.cpp, goto_program_dereference.h
• dereferences_symbol() : contracts.cpp
• describe_clause_node() : builder.cpp
• destroy_built_subobjects() : clang_cpp_convert.cpp
• destructor_binding() : clang_cpp_destructor_call.cpp, clang_cpp_destructor_call.h
• destructor_call() : clang_cpp_convert.cpp
• destructor_entry_symbol() : goto_convert.cpp
• det() : linalg.c
• det_radius() : numpy_call_expr.cpp
• determinant_2x2() : numpy_call_expr.cpp
• determinant_3x3() : numpy_call_expr.cpp
• dict_key_id() : python_dict_internal.h
• difftime() : time.h, time.c
• digit_add() : bigint.cpp
• digit_cmp() : bigint.cpp
• digit_div() : bigint.cpp
• digit_mul() : bigint.cpp
• digit_set() : bigint.cpp
• digit_sub() : bigint.cpp
• digits_length() : io.cpp
• disjoint_assertion() : add_restrict_assertions.cpp
• disjunction() : irep2_utils.cpp, irep2_utils.h
• distinct_named_objects() : expr_simplifier.cpp
• distribute_steps_over_if() : dereference.cpp
• distribute_vector_operation() : irep2_utils.cpp, irep2_utils.h
• div() : stdlib.h
• divide() : umath.c
• divide_double() : umath.c
• do_bit_munge_operation() : expr_simplifier.cpp
• do_count_sub_exprs() : irep2_dispatch.h
• do_count_sub_exprs< const expr2tc >() : irep2_dispatch.h, irep2_utils.cpp
• do_count_sub_exprs< const std::vector< expr2tc > >() : irep2_dispatch.h, irep2_utils.cpp
• do_get_sub_expr() : irep2_dispatch.h
• do_get_sub_expr< expr2tc >() : irep2_dispatch.h, irep2_utils.cpp
• do_get_sub_expr< std::vector< expr2tc > >() : irep2_dispatch.h, irep2_utils.cpp
• do_is_subset() : interval_domain.cpp
• do_memcpy_expression() : memory_ops.cpp
• do_pthread_cond_wait() : pthread_lib.c
• do_type2string() : irep2_dispatch.h
• do_type_cmp() : irep2_dispatch.h
• do_type_lt() : irep2_dispatch.h, irep2_utils.cpp
• dot() : linalg.c
• dot_double() : linalg.c
• dot_product_value() : numpy_call_expr.cpp
• double2string() : smt_solver.cpp
• double_constant() : bounded_math.cpp
• double_shaped() : numpy_call_expr.cpp
• double_type() : c_types.cpp, c_types.h
• double_type2() : c_types.cpp, c_types.h
• dprintf() : stdio.h
• dReLUFunction() : cudnn.h
• drop_unit_axes() : numpy_call_expr.cpp
• dSigmoidFunction() : cudnn.h
• dst_flag_of() : dereference.cpp
• dump_claim_fingerprint() : bmc.cpp
• dump_intervals() : interval_analysis.cpp
• dunder_other_arg() : converter_dunder.cpp
• dunder_ref_arg() : converter_dunder.cpp