- r -
- race_check()
: race_check.cpp
, race_check.h
, race_check.cpp
- 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_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_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.cpp
, remove_asm.h
- remove_complex()
: remove_complex.cpp
, remove_complex.h
- remove_const()
: type.cpp
, type.h
- remove_exceptions()
: remove_exceptions.h
, remove_exceptions.cpp
, remove_exceptions.h
- 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()
: remove_function_pointers.cpp
, remove_function_pointers.h
- remove_functions()
: remove_function.cpp
, remove_function.h
- remove_instanceof()
: remove_instanceof.cpp
, remove_instanceof.h
- remove_internal_symbols()
: remove_internal_symbols.cpp
, remove_internal_symbols.h
- remove_java_new()
: remove_java_new.cpp
, remove_java_new.h
- 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_signal_catcher()
: signal_catcher.cpp
, signal_catcher.h
- remove_skip()
: remove_skip.cpp
, remove_skip.h
- remove_unreachable()
: remove_unreachable.h
, remove_unreachable.cpp
- remove_unused_functions()
: remove_unused_functions.cpp
, remove_unused_functions.h
- remove_vector()
: remove_vector.cpp
, remove_vector.h
, 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.cpp
, remove_virtual_functions.h
, remove_virtual_functions.cpp
, remove_virtual_functions.h
- 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_java_nondet.h
- replace_location()
: goto_inline_class.cpp
- replace_nondet()
: symex_clean_expr.cpp
- replace_nondet_in_type()
: build_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.h
, report_util.cpp
- report_inconclusive()
: report_util.cpp
, report_util.h
- report_invariant_failure()
: invariant.h
- report_success()
: report_util.h
, report_util.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
- restore_returns()
: remove_returns.cpp
, remove_returns.h
- restrict()
: miniBDD.h
, miniBDD.cpp
- restrict_function_pointers()
: restrict_function_pointers.h
, restrict_function_pointers.cpp
- result_symbol()
: c_typecheck_gcc_polymorphic_builtins.cpp
- result_to_exit_code()
: properties.h
, properties.cpp
- return_value_identifier()
: remove_returns.cpp
, remove_returns.h
- return_value_symbol()
: remove_returns.h
, remove_returns.cpp
- 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.cpp
, rewrite_union.h
, 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.cpp
, mp_arith.h
- round_expr_to_zero()
: string_constraint_generator_float.cpp
- run()
: run.cpp
, run.h
, run.cpp
- run_property_decider()
: bmc_util.h
, bmc_util.cpp
- run_symtab2gb()
: symtab2gb_parse_options.cpp
- run_test_with_compilers()
: run_test_with_compilers.h
, run_test_with_compilers.cpp
- runtime_type()
: assignments_from_json.cpp