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

- r -

• r : irep_hash.h
• race_check() : race_check.cpp , race_check.h , race_check.cpp
• rand() : stdlib.c
• rand_r() : stdlib.c
• random() : stdlib.c
• rate() : symex_coverage.cpp
• rate_detailed() : symex_coverage.cpp
• reachability_slicer() : reachability_slicer.cpp , reachability_slicer.h , reachability_slicer.cpp
• reachable_fixpoint() : fatal_assertions.cpp
• reachable_functions() : unreachable_instructions.cpp , unreachable_instructions.h
• read : java.io.c , unistd.c
• read_bin_functions_object() : read_bin_goto_object.cpp
• read_bin_goto_object() : read_bin_goto_object.cpp , read_bin_goto_object.h
• read_bin_symbol_table_object() : read_bin_goto_object.cpp
• read_first : wmm.h
• read_goto_binary() : read_goto_binary.h , read_goto_binary.cpp
• read_graphml() : graphml.cpp , graphml.h
• read_object_and_link() : read_goto_binary.cpp
• read_objects_and_link() : read_goto_binary.cpp , read_goto_binary.h
• read_result : java.io.c
• realloc() : stdlib.c
• record_exception() : java_entry_point.cpp
• record_function_outputs() : ansi_c_entry_point.cpp
• record_pointer_parameters() : java_entry_point.cpp
• record_return_value() : java_entry_point.cpp
• recreate_initialize_function() : static_lifetime_init.cpp , static_lifetime_init.h
• REFERENCE_FLAG : expr2statement_list.cpp
• reference_type() : c_types.cpp , c_types.h
• references_class_model() : ci_lazy_methods.cpp
• register_child() : signal_catcher.cpp , signal_catcher.h
• register_language() : mode.cpp , mode.h
• remainder() : math.c
• remainderf() : math.c
• remainderl() : math.c
• remove_array_type_l2() : shadow_memory_util.cpp
• remove_asm() : remove_asm.cpp , remove_asm.h , remove_asm.cpp , remove_asm.h
• remove_complex() : remove_complex.cpp , remove_complex.h , remove_complex.cpp
• remove_const() : type.cpp , type.h
• remove_dead_object_assignment() : dfcc_infer_loop_assigns.cpp
• remove_exceptions() : remove_exceptions.cpp , remove_exceptions.h , remove_exceptions.cpp
• remove_exceptions_using_instanceof() : remove_exceptions.cpp , remove_exceptions.h , remove_exceptions.cpp , remove_exceptions.h
• remove_existing_entry_point() : rebuild_goto_start_function.cpp , rebuild_goto_start_function.h
• remove_function() : remove_function.cpp , remove_function.h
• remove_function_pointer() : remove_function_pointers.cpp , remove_function_pointers.h
• remove_function_pointers() : remove_function_pointers.cpp , remove_function_pointers.h
• remove_functions() : remove_function.cpp , remove_function.h
• remove_instanceof() : remove_instanceof.h , remove_instanceof.cpp
• remove_internal_symbols() : remove_internal_symbols.cpp , remove_internal_symbols.h
• remove_java_new() : remove_java_new.cpp , remove_java_new.h , remove_java_new.cpp
• remove_l1_object_rec() : symex_dead.cpp
• remove_level_2() : ssa_expr.h
• remove_pointers() : goto_program_dereference.cpp , goto_program_dereference.h
• remove_preconditions() : instrument_preconditions.cpp , instrument_preconditions.h
• remove_repetition() : cover_instrument_mcdc.cpp
• remove_returns() : remove_returns.cpp , remove_returns.h , remove_returns.cpp
• remove_signal_catcher() : signal_catcher.cpp , signal_catcher.h
• remove_skip() : remove_skip.cpp , remove_skip.h , remove_skip.cpp
• remove_unreachable() : remove_unreachable.cpp , remove_unreachable.h
• remove_unused_functions() : remove_unused_functions.cpp , remove_unused_functions.h
• remove_vector() : remove_vector.cpp , remove_vector.h , remove_vector.cpp
• remove_virtual_function() : remove_virtual_functions.cpp , remove_virtual_functions.h , remove_virtual_functions.cpp
• remove_virtual_functions() : remove_virtual_functions.cpp , remove_virtual_functions.h , remove_virtual_functions.cpp
• rename_symbols_in_function() : link_goto_model.cpp
• replace() : string_constraint.cpp , string_constraint.h
• replace_expr() : replace_expr.cpp , replace_expr.h
• replace_expr_copy() : string_refinement.cpp
• replace_function_calls_by_contracts() : instrument_contracts.cpp
• replace_history_loop_entry() : utils.cpp , utils.h
• replace_history_old() : utils.cpp , utils.h
• replace_history_parameter_rec() : utils.cpp
• replace_invalid_object_by_null() : shadow_memory_util.cpp , shadow_memory_util.h
• replace_java_nondet() : replace_java_nondet.h , replace_java_nondet.cpp , replace_java_nondet.h , replace_java_nondet.cpp
• replace_location() : goto_inline_class.cpp
• replace_mapt : replace_expr.h
• replace_nondet() : symex_clean_expr.cpp
• replace_nondet_in_type() : build_goto_trace.cpp
• replace_old() : instrument_contracts.cpp
• replace_source_location() : instrument_contracts.cpp
• replace_string_constants_rec() : xml_goto_trace.cpp
• replace_tmp_post() : enumerative_loop_contracts_synthesizer.cpp
• replace_typecast_of_bool() : constant_propagator.cpp
• replace_virtual_function_with_dispatch_table() : remove_virtual_functions.cpp
• replacement_conjunction() : cover_instrument_mcdc.cpp
• report_error() : report_util.h , report_util.cpp
• report_exception_to_stderr() : invariant.cpp , invariant.h
• report_failure() : report_util.cpp , report_util.h
• report_inconclusive() : report_util.cpp , report_util.h
• report_invariant_failure() : invariant.h
• report_properties() : report_properties.h , report_properties.cpp
• report_success() : report_util.cpp , report_util.h
• report_traces() : report_traces.cpp , report_traces.h
• represents_interval() : interval_abstract_value.cpp
• require_java_generic_type_argument_expectation() : require_type.cpp
• require_vectors_equal_unordered() : require_vectors_equal_unordered.h
• requires_renaming() : goto_symex_state.cpp
• resolve_friendly_method_name() : java_utils.h , java_utils.cpp
• resolve_pointer_name() : restrict_function_pointers.cpp
• RESPONSE_ID : smt_responses.cpp
• restore_returns() : remove_returns.cpp , remove_returns.h
• restore_union() : rewrite_union.cpp , rewrite_union.h
• restore_union_rec() : rewrite_union.cpp
• restrict() : miniBDD.cpp , miniBDD.h
• RESTRICT_FUNCTION_POINTER_BY_NAME_OPT : restrict_function_pointers.h
• RESTRICT_FUNCTION_POINTER_FROM_FILE_OPT : restrict_function_pointers.h
• RESTRICT_FUNCTION_POINTER_OPT : restrict_function_pointers.h
• restrict_function_pointers() : restrict_function_pointers.cpp , restrict_function_pointers.h
• result_symbol() : c_typecheck_gcc_polymorphic_builtins.cpp
• result_to_exit_code() : properties.cpp , properties.h
• resultt : properties.h
• ret_type : unistd.c
• return_value_identifier() : remove_returns.cpp , remove_returns.h
• RETURN_VALUE_SUFFIX : remove_returns.cpp
• return_value_symbol() : remove_returns.cpp , remove_returns.h
• revert_slice() : slice.cpp , slice.h
• rewind() : stdio.c
• rewrite_assignment() : wp.cpp
• rewrite_rw_ok() : rewrite_rw_ok.h , rewrite_rw_ok.cpp
• rewrite_union() : rewrite_union.cpp , rewrite_union.h , rewrite_union.cpp
• rewrite_union_address_of() : rewrite_union.cpp
• rint() : math.c
• rintf() : math.c
• rintl() : math.c
• RMO : wmm.h
• root_objects_rec() : dfcc_root_object.cpp
• rotate_left() : mp_arith.cpp , mp_arith.h
• rotate_right() : mp_arith.h , mp_arith.cpp
• round() : math.c
• round_expr_to_zero() : string_constraint_generator_float.cpp
• roundf() : math.c
• rounding_mode_identifier() : adjust_float_expressions.cpp , adjust_float_expressions.h
• roundl() : math.c
• run() : run.cpp , run.h , run.cpp
• run_property_decider() : bmc_util.cpp , bmc_util.h
• run_symtab2gb() : symtab2gb_parse_options.cpp
• run_test_with_compilers() : run_test_with_compilers.cpp , run_test_with_compilers.h
• runtime_type() : assignments_from_json.cpp