- r -
- r_buff0_thds
: shared_bufferst::varst
- r_buff1_thds
: shared_bufferst::varst
- r_entries
: rw_set_baset
- r_range_set
: rw_range_sett
- radix
: string_of_int_builtin_functiont
- rd
: dependence_grapht
- reachable
: is_threaded_domaint
- 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
- reason
: analysis_exceptiont
, invalid_command_line_argument_exceptiont
, invalid_source_file_exceptiont
, invariant_failedt
- recognize_wchar_t
: cpp_parsert
- record_coverage
: symex_bmct
- record_events
: goto_symex_statet
- recursion_set
: flow_insensitive_analysis_baset
, goto_inlinet
, java_object_factoryt
, recursion_set_entryt
, static_analysis_baset
- recursion_unwind_handlers
: symex_bmct
- red
: messaget
- ref1
: java_bytecode_parsert::pool_entryt
- ref2
: java_bytecode_parsert::pool_entryt
- ref_count
: irept::dt
, reference_counting< T >::dt
- reference_counter
: mini_bdd_nodet
- reference_index
: method_handle_infot
- reference_kind
: method_handle_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
- remaining_vccs
: goto_symex_statet::goto_statet
, goto_symex_statet
- remove_added_instanceof
: remove_exceptionst
- remove_returns_done
: goto_instrument_parse_optionst
- removed
: journalling_symbol_tablet
- rename_symbol
: linkingt
- renamed_ids
: linkingt
- renaming_counters
: smt2_parsert
- renaming_map
: smt2_parsert
- render_by_file
: instrumentert
- render_by_function
: instrumentert
- render_po_aligned
: instrumentert
- rep
: infix_opt
- replace_const
: constant_propagator_domaint::valuest
- 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
- reserved
: mz_stream_s
- reset
: messaget
- residue
: subsumed_patht
- resolution_proof
: minisat_prooft
- restrict_cnt
: cpp_convert_typet
- result
: property_checkert::property_statust
, smt2irept
, string_creation_builtin_functiont
, string_insertion_builtin_functiont
, string_test_builtin_functiont
, string_transformation_builtin_functiont
- result_bv
: bv_refinementt::approximationt
- result_from
: string_dependenciest::string_nodet
- result_type
: bytecode_infot
- result_value
: bv_refinementt::approximationt
- retain_trivial
: goto_checkt
- 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_pc
: interpretert::stack_framet
- return_set
: goto_convertt::targetst
- return_target
: goto_convertt::targetst
- return_type
: c_typecheck_baset
- return_value
: goto_symex_statet::framet
- return_value_address
: interpretert::stack_framet
- reverse_map
: mini_bdd_mgrt
- root
: bdd_exprt
- 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
- RRcumul
: abstract_eventt
- RRfence
: abstract_eventt
- rules
: taint_parse_treet
- run_validation_checks
: goto_symex_statet
, symex_configt
- RWcumul
: abstract_eventt
- RWfence
: abstract_eventt