- r -
- race_check() : race_check.cpp, race_check.h, race_check.cpp, race_check.h
- rate() : symex_coverage.cpp
- rate_detailed() : symex_coverage.cpp
- reachability_slicer() : reachability_slicer.cpp, reachability_slicer.h
- reachable_functions() : unreachable_instructions.cpp, unreachable_instructions.h
- read_bin_goto_object() : read_bin_goto_object.cpp, read_bin_goto_object.h, read_bin_goto_object.cpp
- read_goto_binary() : read_goto_binary.cpp, read_goto_binary.h
- 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
- 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
- reference_type() : c_types.cpp, c_types.h
- references_class_model() : ci_lazy_methods.cpp
- register_child() : signal_catcher.cpp, signal_catcher.h
- register_chrdev() : modules.h
- register_language() : mode.cpp, mode.h
- remove_asm() : remove_asm.h, remove_asm.cpp
- remove_complex() : remove_complex.cpp, remove_complex.h
- remove_const() : type.cpp, type.h
- remove_exceptions() : remove_exceptions.h, remove_exceptions.cpp
- remove_exceptions_using_instanceof() : 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() : value_set_fi_fp_removal.cpp, remove_function_pointers.cpp, remove_function_pointers.h
- remove_function_pointers() : remove_function_pointers.cpp, remove_function_pointers.h, remove_function_pointers.cpp
- remove_functions() : remove_function.cpp, remove_function.h
- remove_instanceof() : remove_instanceof.cpp, remove_instanceof.h
- remove_internal_symbols() : remove_internal_symbols.h, remove_internal_symbols.cpp
- remove_java_new() : remove_java_new.h, remove_java_new.cpp
- remove_l1_object_rec() : symex_dead.cpp
- remove_level_2() : ssa_expr.cpp, ssa_expr.h
- remove_pointers() : goto_program_dereference.cpp, goto_program_dereference.h
- remove_preconditions() : instrument_preconditions.cpp, instrument_preconditions.h, instrument_preconditions.cpp
- remove_repetition() : cover_instrument_mcdc.cpp
- remove_returns() : remove_returns.cpp, remove_returns.h
- remove_signal_catcher() : signal_catcher.cpp, signal_catcher.h
- remove_skip() : 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() : 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.cpp
- replace_expr_copy() : string_refinement.cpp
- 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_nondet() : symex_clean_expr.cpp
- replace_nondet_in_type() : build_goto_trace.cpp
- replace_string_constants_rec() : xml_goto_trace.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_success() : report_util.cpp, report_util.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.cpp, java_utils.h
- resolve_pointer_name() : restrict_function_pointers.cpp
- restore_returns() : remove_returns.cpp, remove_returns.h
- restrict() : miniBDD.cpp, miniBDD.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
- return_value_identifier() : remove_returns.cpp, remove_returns.h
- return_value_symbol() : remove_returns.cpp, remove_returns.h
- revert_slice() : slice.h, slice.cpp
- rewrite_assignment() : wp.cpp
- rewrite_index() : rewrite_index.cpp, rewrite_index.h
- rewrite_union() : rewrite_union.cpp, rewrite_union.h
- rewrite_union_address_of() : rewrite_union.cpp
- rotate_left() : mp_arith.cpp, mp_arith.h
- rotate_right() : mp_arith.h, mp_arith.cpp
- round_expr_to_zero() : string_constraint_generator_float.cpp
- rounding_mode_identifier() : adjust_float_expressions.cpp, adjust_float_expressions.h
- run() : run.cpp, run.h
- 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