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

- f -

• fabs() : math.c
• fabsf() : math.c
• fabsl() : math.c
• failed() : symtab2gb_parse_options.cpp
• failed_symbol_id() : add_failed_symbols.h , add_failed_symbols.cpp
• fallback_format_rec() : format_expr.cpp
• fclose() : stdio.c
• fclose_cleanup() : stdio.c
• fcntl() : fcntl.c
• fcntl64() : fcntl.c
• fdim() : math.c
• fdimf() : math.c
• fdiml() : math.c
• fdopen() : stdio.c
• fdt : run.cpp
• fegetround() : fenv.c
• feof() : stdio.c
• feraiseexcept() : fenv.c
• ferror() : stdio.c
• fesetround() : fenv.c
• fflush() : stdio.c
• fgetc() : stdio.c
• fgets() : stdio.c
• FILE_LOCAL_PREFIX : name_mangler.h
• file_name_string_opt() : unreachable_instructions.cpp
• file_typet : compile.cpp
• fileno() : stdio.c
• filest : count_eloc.cpp
• fill_in_map_as_vector() : string_refinement.cpp
• fill_temp_vars() : statement_list_parser.cpp
• fill_vars_with_default_values() : statement_list_parser.cpp
• filter_goto_model() : goto_harness_parse_options.cpp
• filter_out() : graphml_witness.cpp
• filtered_visit_post() : convert_expr_to_smt.cpp
• finalize_linking() : link_goto_model.cpp , link_goto_model.h
• find_and_replace_parameter() : java_bytecode_convert_class.cpp
• find_and_replace_parameters() : java_bytecode_convert_class.cpp
• find_block_position_rec() : dump_c.cpp
• find_closing_delimiter() : java_utils.cpp , java_utils.h
• find_closing_semi_colon_for_reference_type() : java_types.cpp , java_types.h
• find_counter_example() : string_refinement.cpp
• find_enum_function_on_stack() : java_enum_static_init_unwind_handler.cpp
• find_frame() : solver_types.cpp , solver_types.h
• find_implications() : solver_types.cpp , solver_types.h
• find_indexes() : string_constraint_instantiation.cpp
• find_instructions() : statement_list_parser.cpp
• find_macros() : find_macros.cpp , find_macros.h
• find_macros_sett : find_macros.h
• find_modified() : polynomial_accelerator.h
• find_name() : statement_list_parser.cpp
• find_network_instructions() : statement_list_parser.cpp
• find_network_list() : statement_list_parser.cpp
• find_network_title() : statement_list_parser.cpp
• find_networks() : statement_list_parser.cpp
• find_non_pointer_type_symbols() : find_symbols.h , find_symbols.cpp
• find_object() : may_alias.cpp
• find_object_base_expression() : object_tracking.cpp , object_tracking.h
• find_object_base_expressions() : object_tracking.h
• find_objects_rec() : address_taken.cpp
• find_old_expr() : instrument_contracts.cpp
• find_pattern() : builtin_factory.cpp
• find_properties() : solver_types.cpp , solver_types.h
• find_property() : show_properties.cpp , show_properties.h
• find_return_value() : statement_list_parser.cpp
• find_superclass_with_type() : java_pointer_casts.h , java_pointer_casts.cpp
• find_symbol_identifiers() : dfcc_infer_loop_assigns.cpp , find_symbols.h
• find_symbols() : find_symbols.cpp , find_symbols.h
• find_symbols_sett : find_symbols.h
• find_type_and_expr_symbols() : find_symbols.h , find_symbols.cpp
• find_type_symbols() : find_symbols.cpp , find_symbols.h
• find_unique_pointer_typed_symbol() : symex_main.cpp
• find_used_functions() : remove_unused_functions.cpp , remove_unused_functions.h
• find_variable_list() : statement_list_parser.cpp
• find_variables() : find_variables.cpp , find_variables.h , horn_encoding.cpp , statement_list_parser.cpp
• find_variables_rec() : horn_encoding.cpp , find_variables.cpp
• find_version() : statement_list_parser.cpp
• finish_catch_push_targets() : goto_convert.cpp
• FITS : convert_integer_literal.cpp
• fix_argument_types() : remove_function_pointers.cpp
• fix_malloc_free_set : dfcc_library.cpp
• fix_return_type() : remove_function_pointers.cpp
• fix_types() : scratch_program.cpp
• FLAG_DFCC : dfcc.h
• FLAG_DISABLE_SIDE_EFFECT_CHECK : contracts.h
• FLAG_ENFORCE_CONTRACT : contracts.h
• FLAG_ENFORCE_CONTRACT_REC : dfcc.h
• FLAG_LOOP_CONTRACTS : contracts.h
• FLAG_LOOP_CONTRACTS_FILE : contracts.h
• FLAG_LOOP_CONTRACTS_NO_UNWIND : contracts.h
• FLAG_REPLACE_CALL : contracts.h
• flatten() : flatten_ok_expr.h , flatten_ok_expr.cpp
• float_bv() : float_bv.h
• float_type() : c_types.h , c_types.cpp
• floatbv_mult() : string_constraint_generator_float.cpp
• floatbv_of_int_expr() : string_constraint_generator_float.cpp
• floatbv_rounding_mode() : floatbv_expr.cpp , floatbv_expr.h
• floating_point_to_java_string() : expr2java.h
• floor() : math.c
• floorf() : math.c
• floorl() : math.c
• flow_sensitivityt : variable_sensitivity_configuration.h
• fma() : math.c
• fmaf() : math.c
• fmal() : math.c
• fmax() : math.c
• fmaxf() : math.c
• fmaxl() : math.c
• fmin() : math.c
• fminf() : math.c
• fminl() : math.c
• fmod() : math.c
• fmodf() : math.c
• fmodl() : math.c
• follow_tags_symbols() : linking.cpp , linking_diagnostics.cpp
• followed_class_type() : assignments_from_json.cpp
• fopen() : stdio.c
• fopen64() : stdio.c
• for_each_atomic_string() : string_dependencies.cpp
• for_each_instruction() : goto_program.h
• for_each_instruction_if() : goto_program.h
• forall_callsites() : call_graph.cpp
• forall_expr : expr.h
• Forall_expr : expr.h
• forall_goto_program_instructions : goto_program.h
• Forall_goto_program_instructions : goto_program.h
• forall_operands : expr.h
• Forall_operands : expr.h
• FORCE_INLINE : irep_hash.h
• force_value_from_expr() : interval_abstract_value.cpp
• format() : format.h
• format_arg_from_string() : string_format_builtin_function.cpp
• format_expr_config : format_expr.cpp
• format_hooks() : format_hooks.cpp , format_hooks.h
• format_number_range() : format_number_range.cpp , format_number_range.h
• format_rec() : format_expr.cpp , format_type.h , format_type.cpp , format_expr.h , format_expr.cpp
• format_specifier_of_match() : format_specifier.cpp
• format_to_string() : format.h
• format_token_listt : format_strings.h
• fprintf() : stdio.c
• fpurge() : stdio.c
• fputs() : stdio.c
• frame_mapt : solver_types.h
• fread() : stdio.c
• free() : stdlib.c
• free_func : miniz.h
• free_symbols() : free_symbols.cpp , free_symbols.h
• free_symbols_rec() : free_symbols.cpp
• freopen() : stdio.c
• freopen64() : stdio.c
• fresh_java_symbol() : java_utils.cpp , java_utils.h
• from_bits_to_partition() : expr_enumerator.cpp
• from_c_boolean_value() : c_types_util.h
• from_expr() : language_util.h , language_util.cpp
• from_expr_using_mode() : language_util.cpp , language_util.h
• from_integer() : arith_tools.cpp , arith_tools.h
• from_rational() : rational_tools.cpp , rational_tools.h
• from_type() : language_util.cpp , language_util.h
• fscanf() : stdio.c
• fseek() : stdio.c
• ftell() : stdio.c
• full_lhs_value() : xml_goto_trace.cpp
• full_slicer() : full_slicer.cpp , full_slicer.h
• FUNCTION_CALL : goto_program.h
• function_enter() : function.cpp , function.h
• function_exit() : function.cpp , function.h
• FUNCTION_HARNESS_GENERATOR_ASSOCIATED_ARRAY_SIZE_OPT : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_FUNCTION_OPT : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_HELP : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_NONDET_GLOBALS_OPT : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_OPTIONS : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_ARRAY_OPT : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_TREAT_POINTER_AS_CSTRING : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_MAYBE_OPT : function_harness_generator_options.h
• FUNCTION_HARNESS_GENERATOR_TREAT_POINTERS_EQUAL_OPT : function_harness_generator_options.h
• function_is_stubt : remove_returns.h
• function_is_type_compatible() : remove_function_pointers.cpp , remove_function_pointers.h
• function_path_reachability_slicer() : reachability_slicer.cpp , reachability_slicer.h
• function_pointer_assertion_comment() : remove_function_pointers.cpp
• function_to_call() : function.cpp , function.h
• functionst : contracts_wrangler.h
• fwrite() : stdio.c