- f -

• FILE_LOCAL_PREFIX : name_mangler.h
• FITS : convert_integer_literal.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
• 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
• free_func : miniz.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