- r -

• r_buff0_thds : shared_bufferst::varst
• r_buff1_thds : shared_bufferst::varst
• r_char : gdb_apit
• r_entries : rw_set_baset
• r_hex_addr : gdb_apit
• r_id : gdb_apit
• r_range_set : rw_range_sett
• r_string : gdb_apit
• radix : string_constraint_generatort::parseint_argumentst , string_of_int_builtin_functiont
• radix_ul : string_constraint_generatort::parseint_argumentst
• range : index_range_iteratort , index_ranget , value_range_iteratort , value_ranget
• range_ : widened_ranget
• rd : dependence_grapht
• reachable : goto_statet , is_threaded_domaint , value_set_domain_templatet< VST >
• reachable_from_assertion : reachability_slicert::slicer_entryt
• reaches_assertion : reachability_slicert::slicer_entryt
• read_buffer : irep_serializationt
• read_counter : instrumentert::cfg_visitort
• read_delayed : shared_bufferst::varst
• read_delayed_var : shared_bufferst::varst
• read_in_atomic_section : goto_symex_statet
• reads : partial_order_concurrencyt::a_rect
• reads_per_variable : event_grapht::graph_explorert
• reads_replaced : mm_iot
• reason : cprover_exception_baset , invariant_failedt
• recognize_wchar_t : cpp_parsert
• record_coverage : symex_bmct
• record_events : goto_symex_statet
• recursion_limit : call_stack_history_factoryt , call_stack_historyt
• recursion_set : flow_insensitive_analysis_baset , goto_inlinet , java_object_factoryt , recursion_set_entryt
• recursion_unwind_handlers : symex_bmct
• recursive_call_regex : inlining_decoratort
• recursive_call_set : inlining_decoratort
• recursive_initialization : function_call_harness_generatort::implt
• recursive_initialization_config : function_call_harness_generatort::implt , memory_snapshot_harness_generatort
• red : messaget
• ref : framet
• ref1 : java_bytecode_parsert::pool_entryt
• ref2 : java_bytecode_parsert::pool_entryt
• ref_count : ref_count_ift< true > , reference_counting< T, empty >::dt
• reference_counter : mini_bdd_nodet
• reference_id : reference_allocationt
• reference_index : method_handle_infot
• references : java_bytecode_languaget , object_creation_infot
• refine_arithmetic : bv_refinementt::configt
• refine_arrays : bv_refinementt::configt
• refined_string_type : java_string_library_preprocesst
• refinement_bound : string_refinementt::configt
• regex_matcher : include_pattern_filtert , java_class_loader_limitt
• regex_str : functiont
• remaining_vccs : goto_symex_statet
• remove_added_instanceof : remove_exceptionst
• remove_returns_done : goto_instrument_parse_optionst
• remove_static : c_wranglert::functiont , c_wranglert::objectt
• removed : journalling_symbol_tablet
• rename_main_symbol : linkingt
• rename_new_symbol : linkingt
• renamed_ids : linkingt
• render_by_file : instrumentert
• render_by_function : instrumentert
• render_po_aligned : instrumentert
• rep : infix_opt
• replace_const : constant_propagator_can_forward_propagatet , constant_propagator_domaint::valuest
• replace_symbol : loop_contracts_clauset
• replacement_map : axiomst
• replacement_predicates : linker_script_merget
• representation : format_tokent
• representative_inst : cover_basic_blockst::block_infot
• require_lvalue : address_of_aware_replace_symbolt , address_of_aware_replace_symbolt::set_require_lvalue_and_backupt
• requires_fn_name : is_fresh_baset
• requires_write_set : dfcc_wrapper_programt
• reserved : mz_stream_s
• reset : messaget
• residue : subsumed_patht
• resolution_proof : minisat_prooft
• response_stream : gdb_apit , smt_piped_solver_processt
• restrictions : function_pointer_restrictionst
• result : expr2stlt , sort_based_cast_to_bit_vector_convertert , sort_based_literal_convertert , string_creation_builtin_functiont , string_format_builtin_functiont , string_insertion_builtin_functiont , string_test_builtin_functiont , string_transformation_builtin_functiont , value_expr_from_smt_factoryt
• result_bv : bv_refinementt::approximationt
• result_from : string_dependenciest::string_nodet
• result_type : bytecode_infot
• result_value : bv_refinementt::approximationt
• retain_trivial : goto_check_ct
• return_address : check_call_sequencet::call_stack_entryt
• return_assignments : interpretert::function_assignments_contextt
• return_code : string_builtin_functiont
• return_function : interpretert::stack_framet
• return_lhs : state_encodingt
• return_pc : interpretert::stack_framet
• return_set : goto_convertt::targetst
• return_target : goto_convertt::targetst
• return_type : c_typecheck_baset , statement_list_parse_treet::functiont
• return_value_address : interpretert::stack_framet
• return_value_opt : dfcc_wrapper_programt
• return_value_symbol : framet
• return_WS_and_comments : cscannert
• reverse_map : mini_bdd_mgrt
• rhs : assignmentt , framet::implicationt , left_and_right_valuest
• right : left_and_right_valuest
• right_depth_below_common_ancestor : ancestry_resultt
• rlo_bit : statement_list_typecheckt::nesting_stack_entryt , statement_list_typecheckt
• root_clause : clauset
• root_scope : cpp_scopest , Parser
• round_to_even : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• round_to_minus_inf : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• round_to_plus_inf : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• round_to_zero : float_bvt::rounding_mode_bitst , float_utilst::rounding_mode_bitst
• rounding_mode : configt::ansi_ct , ieee_floatt
• rounding_mode_bits : float_utilst
• rounding_mode_symbol : constants_evaluator
• RRcumul : abstract_eventt
• RRfence : abstract_eventt
• rules : taint_parse_treet
• run_validation_checks : goto_symex_statet , symex_configt
• RWcumul : abstract_eventt
• RWfence : abstract_eventt