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

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

R

S

T

U

V

W

X

Y

Z

_

- h -

• handle_invalid_smt() : smt_solver_process.cpp
• hardness_register_ssa() : symex_target_equation.cpp
• has_a_void_pointer() : c_typecast.cpp
• has_and_or() : goto_convert.cpp
• has_asm() : remove_asm.cpp, remove_asm.h
• has_byte_operator() : byte_operators.cpp, byte_operators.h
• has_char_array_subexpr() : string_refinement_util.cpp, string_refinement_util.h
• has_char_pointer_subtype() : string_refinement_util.cpp, string_refinement_util.h
• has_component_rec() : anonymous_member.cpp, anonymous_member.h
• has_contract() : instrument_contracts.cpp, dfcc_cfg_info.cpp
• has_directory_suffix() : ms_cl_mode.cpp
• has_disable_assigns_check_pragma() : instrument_spec_assigns.cpp
• has_enum_type() : assignments_from_json.cpp
• has_floatbv_type() : smt2_incremental_decision_procedure.cpp
• has_function_pointers() : remove_function_pointers.cpp, remove_function_pointers.h
• has_id() : assignments_from_json.cpp
• has_infix() : infix.h
• has_labels() : goto_program2code.cpp
• has_loop_tag() : dfcc_loop_tags.cpp
• has_mcdc_pair() : cover_instrument_mcdc.cpp
• has_nondet() : wp.cpp
• has_nondet_length() : assignments_from_json.cpp
• has_overflowed() : widened_range.cpp
• has_prefix() : converter.cpp, prefix.h
• has_propagate_static_local_pragma() : instrument_spec_assigns.cpp, instrument_spec_assigns.h
• has_properties_to_check() : properties.cpp, properties.h
• has_quantifier() : smt2_conv.cpp
• has_shared_entries() : race_check.cpp
• has_start_thread() : thread_instrumentation.cpp
• has_subexpr() : expr_util.cpp, expr_util.h
• has_subtype() : expr_util.cpp, expr_util.h
• has_suffix() : suffix.h
• has_symbol_expr() : find_symbols.cpp, find_symbols.h
• has_underflowed() : widened_range.cpp
• has_vector() : remove_vector.cpp, remove_vector.h
• hash_string() : dstring.h, string_hash.cpp, string_hash.h
• have_to_adjust_float_expressions() : adjust_float_expressions.cpp
• have_to_remove_complex() : remove_complex.cpp
• have_to_remove_vector() : remove_vector.cpp
• have_to_rewrite_union() : rewrite_union.cpp
• havoc_loops() : havoc_loops.cpp, havoc_loops.h
• havoc_slice_call() : goto_instruction_code.cpp, goto_instruction_code.h
• help_formatter() : help_formatter.h
• hex_to_unsigned() : unescape_string.cpp, unescape_string.h
• horn_encoding() : horn_encoding.cpp, horn_encoding.h
• hybrid_binary() : hybrid_binary.cpp, hybrid_binary.h