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

- r -

• R() : acosf.c, asinf.c
• raise_to_explicit_alignment() : padding.cpp
• raises_on_none_operand() : converter_compare.cpp
• rand() : stdlib.h, stdlib.c
• random() : stdlib.h, stdlib.c
• random_element_suffix() : expr.cpp
• raw_reshape_dims() : numpy_call_expr.cpp
• reaches_through_pointer() : contracts.cpp
• reaching_assigned_value() : converter_funcdef.cpp
• read() : io.c
• read_all() : smtlib_conv.cpp
• read_bin_goto_object() : read_bin_goto_object.cpp, read_bin_goto_object.h
• read_cbmc_goto_object() : read_cbmc_goto_object.cpp, read_cbmc_goto_object.h
• read_file() : witnesses.cpp
• read_line() : witnesses.cpp
• read_of_field() : goto_symex_state.cpp
• read_python_blob() : cprover_library.cpp
• read_through_member_arrays() : smt_tuple_node.cpp
• read_token() : neurosym_conv.cpp
• reads_class_as_value() : builtins.cpp
• reads_fixed_position() : converter_funcdef.cpp
• reads_old() : contracts.cpp
• reads_only() : converter_funcall.cpp
• reads_through_dereference() : build_goto_trace.cpp
• reads_unwound_local() : goto_convert.cpp
• real_matrix() : numpy_call_expr.cpp
• realloc() : stdlib.h
• reassociate_arith() : expr_reassociate.cpp, expr_reassociate.h
• reassociate_bitand() : expr_reassociate.cpp, expr_reassociate.h
• reassociate_bitor() : expr_reassociate.cpp, expr_reassociate.h
• reassociate_bitxor() : expr_reassociate.cpp, expr_reassociate.h
• reassociate_mul() : expr_reassociate.cpp, expr_reassociate.h
• rebase_method_id() : builder.cpp
• rebase_on_ssa_lhs() : build_goto_trace.cpp
• rebinds_class_attribute() : converter_class.cpp
• rebound_in_function() : annotation_conversion.inl
• rebuild_and_chain() : goto_sideeffects.cpp
• rebuild_or_chain() : goto_sideeffects.cpp
• receiver_class() : converter_funcdef.cpp
• receiver_given_attribute() : builtins.cpp
• receiver_named_parameter() : python_converter.cpp
• reconstruct_conditional_value() : contracts.cpp
• record_callee_pointer_writes() : goto_loops.cpp
• record_declaration() : converter_symbols.cpp
• record_discharge() : bmc.cpp
• record_library_symbol() : cprover_library.cpp, cprover_library.h
• record_param_type() : converter_funcdef.cpp
• record_pointer_write() : goto_loops.cpp
• record_primitive_exception_ids() : clang_cpp_convert.cpp
• record_violated_reads() : build_goto_trace.cpp
• recorded_element_classes() : builder.cpp
• recv() : socket.h, socket_lib.c
• recvfrom() : socket.h, socket_lib.c
• reduce_numpy_descriptor_values() : numpy_call_expr.cpp
• reduce_numpy_descriptor_values_along_axis() : numpy_call_expr.cpp
• reduce_pseudo_destructor_call() : clang_cpp_convert.cpp
• referenced_objects() : gcse.cpp
• references_name() : converter_funcdef.cpp
• reformat_class_name() : base_type.cpp
• refresh_symbol_types() : goto_convert_functions.cpp
• refuse_called_lambda_parameter() : python_lambda.cpp
• refuse_mixed_return_types() : converter_funcall.cpp
• refuse_possible_class() : converter_compare.cpp
• refuse_unbound_arguments() : converter_funcall.cpp
• refuse_unbound_parameters() : converter_funcall.cpp
• regex_invariants() : witnesses.cpp
• register_bundled_files() : globals.cpp, globals.h
• register_bundled_libc() : cprover_libc_sources.cpp, cprover_library.h
• reject_array_full_fill() : numpy_call_expr.cpp
• reject_block_with_power_flow() : plcopen_xml_parser.cpp
• reject_complex_array_arithmetic() : converter_binop.cpp
• reject_concurrent_programs() : plcopen_xml_parser.cpp
• reject_derived_operands() : plcopen_xml_parser.cpp
• reject_execution_control() : plcopen_xml_parser.cpp
• reject_execution_order() : plcopen_xml_parser.cpp
• reject_mixed_unresolved_call() : list_type_inference.cpp
• reject_numpy_dtype_call() : numpy_call_expr.cpp
• reject_numpy_string_membership() : converter_binop.cpp
• reject_shared_shadow_keys() : plcopen_xml_parser.cpp
• reject_symbolic_transpose_axes() : numpy_call_expr.cpp
• reject_tagged_element() : list_mutation.cpp
• reject_unfoldable_key() : expr.cpp
• reject_unmodelled_numpy_array_argument() : expr.cpp
• reject_unmodelled_wires() : plcopen_xml_parser.cpp
• reject_unresolved_call_elements() : list_access.cpp
• reject_untranslated_bodies() : plcopen_xml_parser.cpp
• reject_wired_enable_pins() : plcopen_xml_parser.cpp
• rejected_by_divmod() : python_math.cpp
• relational_nondet_fallback() : converter_binop.cpp
• ReLUFunction() : cudnn.h
• remainder_def() : remainder.c
• remove() : stdio.h
• remove_clause_assumes() : contracts.cpp
• remove_exceptions() : remove_exceptions.cpp, remove_exceptions.h
• remove_library_assertions() : remove_library_assertions.cpp, remove_library_assertions.h
• remove_no_op() : remove_no_op.cpp, remove_no_op.h
• remove_unreachable() : remove_unreachable.cpp, remove_unreachable.h
• remquo_def() : remquo.c
• rename() : stdio.h
• rename_vendor_tags() : plcopen_xml_parser.cpp
• replace_dyn_offset_with_zero() : dereference.cpp
• replace_in_struct() : memory_ops.cpp
• replace_name_in_body() : smt_solver.cpp
• replace_new_object_with() : clang_cpp_convert.cpp
• replace_operands() : goto_coverage.cpp
• replace_subobject() : memory_ops.cpp
• replace_symbols() : goto_loops.cpp
• replace_symbols_in_expr() : goto_sideeffects.cpp
• report_base_case_end() : k_induction.cpp
• report_coverage() : bmc.cpp, bmc.h
• report_coverage_completeness() : bmc.cpp, bmc.h
• report_dead_code() : bmc.cpp
• report_k_step_property_table() : bmc.cpp, bmc.h
• report_library_load() : cprover_library.cpp
• report_no_answer() : k_induction.cpp
• report_non_termination_cwe() : bmc_strategy.cpp
• report_proof_cache_inactive() : proof_cache.cpp, proof_cache.h
• report_shared() : ld_converter.cpp
• reports_multi_property_verdict() : bmc.cpp
• require_modeled_source() : plcopen_xml_parser.cpp
• require_new_object_pointer_lvalue() : symex_main.cpp
• require_plain_coil() : plcopen_xml_parser.cpp
• require_reshape_dim() : numpy_call_expr.cpp
• require_tolerant() : st_fb_translator.cpp
• require_total_order() : plcopen_xml_parser.cpp
• require_unique_id() : yaml_property_parser.cpp
• reshape_flat_to_json() : numpy_call_expr.cpp
• resolve_arange_call_args() : numpy_call_expr.cpp
• resolve_astype_target_type() : expr.cpp
• resolve_bytes_call_size() : converter_funcdef.cpp
• resolve_bytes_expr_size() : converter_funcdef.cpp
• resolve_class_type() : destructor.cpp, destructor.h
• resolve_deallocation_function() : clang_cpp_convert.cpp
• resolve_func_node_with_params() : converter_stmt.cpp
• resolve_function_reference() : solidity_convert_call.cpp
• resolve_join_iterable() : string_handler.cpp
• resolve_literal_2d_array_rows() : numpy_call_expr.cpp
• resolve_literal_numpy_col_view() : numpy_call_expr.cpp
• resolve_literal_numpy_row_or_col_view() : numpy_call_expr.cpp
• resolve_literal_numpy_row_view() : numpy_call_expr.cpp
• resolve_numpy_logical_arg() : numpy_call_expr.cpp
• resolve_operand_type() : converter_dunder.cpp
• resolve_reshape_dims() : numpy_call_expr.cpp
• resolve_searchsorted_literal_sorter_indices() : numpy_call_expr.cpp
• resolve_searchsorted_sorter() : numpy_call_expr.cpp
• resolve_searchsorted_value_vector() : numpy_call_expr.cpp
• resolve_single_assignment_name() : numpy_call_expr.cpp
• resolve_ternary_type() : converter_stmt.cpp
• resolve_user_solver_choice() : solve.cpp
• resolve_view_subscript() : converter_funcdef.cpp
• resolve_with_chain_lookup() : expr_simplifier.cpp
• restore_array_lvalue() : clang_c_adjust_expr.cpp
• restore_padding_flag() : migrate.cpp
• restore_sideeffect_location() : goto_convert_functions.cpp
• restore_type_comments() : migrate.cpp
• restore_value_locations() : goto_convert_functions.cpp
• result_symbol() : clang_c_adjust_polymorphic_functions.cpp
• retarget_esbmc_main() : goto_program.cpp
• retrieve_list_value() : dict_methods.cpp
• return_value_safe_for_tagged_param() : converter_funcdef.cpp
• returned_dict_values() : converter_funcall.cpp
• returned_function_names() : converter_funcdef.cpp
• returns_no_value() : python_types.cpp, python_types.h
• returns_none() : converter_funcdef.cpp
• retype_literal() : st_fb_translator.cpp
• reusable_type() : symex_other.cpp
• reuses_c_model() : builder.cpp
• rev() : stdlib.c
• reversed_numpy_axes() : numpy_call_expr.cpp
• rewind() : stdio.h, io.c
• rewrite_body() : nested_func_transform.cpp
• rewrite_identifiers() : nested_func_transform.cpp
• rewrite_nested_calls() : nested_func_transform.cpp
• rint_def() : rint.c
• ripemd160() : solidity_crypto.c
• RISCV() : config.cpp
• root_object_symbol() : rw_set.cpp
• root_pointer_field() : frame_enforcer.cpp
• round_def() : round.c
• round_ties_to_even_consteval() : python_consteval.cpp
• round_to_ndigits_ties_even_consteval() : python_consteval.cpp
• row_major_element_strides() : numpy_call_expr.cpp
• row_stride() : smt_solver.cpp
• run_adjust_arms() : clang_c_adjust_irep2.h
• run_esbmc() : main.cpp, ld_verify.cpp
• run_fully_proved() : bmc.cpp
• run_main() : main.cpp
• runs_call() : builtins.cpp