- 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.h , string_refinement_util.cpp
• 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_function_pointers() : remove_function_pointers.cpp , remove_function_pointers.h , remove_function_pointers.cpp
• 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 , expr_util.cpp
• 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() : string_hash.h , string_hash.cpp , dstring.h , string_hash.cpp
• 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
• htonl() : inet.c
• htons() : inet.c
• hybrid_binary() : hybrid_binary.cpp , hybrid_binary.h