- d -
- dead_object()
: pointer_predicates.cpp
, pointer_predicates.h
- deallocated()
: pointer_predicates.h
, pointer_predicates.cpp
- delete_directory()
: file_util.cpp
, file_util.h
- dereference()
: goto_program_dereference.cpp
, goto_program_dereference.h
, dereference.h
- disjunction()
: std_expr.cpp
, std_expr.h
- do_prefix()
: cpp_type2name.cpp
- do_swap_bytes()
: unicode.cpp
- document_properties_html()
: document_properties.cpp
, document_properties.h
- document_properties_latex()
: document_properties.cpp
, document_properties.h
- dominators_pretty_print_node()
: cfg_dominators.h
- dot()
: dot.cpp
, dot.h
- double_type()
: c_types.cpp
, c_types.h
- dummy_open()
: driver.h
- dummy_read()
: driver.h
- dummy_release()
: driver.h
- dump_c()
: dump_c.h
, dump_c.cpp
- dump_cpp()
: dump_c.cpp
, dump_c.h
- dynamic_object()
: pointer_predicates.cpp
, pointer_predicates.h
- dynamic_object_lower_bound()
: pointer_predicates.cpp
, pointer_predicates.h
- dynamic_object_upper_bound()
: pointer_predicates.h
, pointer_predicates.cpp
- dynamic_size()
: pointer_predicates.h
, pointer_predicates.cpp