Module api_classify 

Standard-library API name classification helpers.

Each function matches a specific pattern in a MIR callee’s def_path_str to determine what kind of operation it performs (pointer arithmetic, memory access, ownership transfer, etc.).

Functions

is_align_of 🔒

is_align_offset

is_as_mut_ptr_range

is_as_ptr

is_as_ptr_range

is_byte_ptr_arith

is_cstr_from_bytes_with_nul_unchecked

is_cstr_from_ptr

is_cstr_strict_constructor

Strict C-string constructors whose caller must guarantee NUL termination (CStr::from_bytes_with_nul_unchecked, CString::from_vec_with_nul_unchecked).

is_eq_or_partial_eq

is_from_raw_parts

is_into_boxed_slice

is_iter_ptr_adj

is_layout_constant

is_len

is_maybe_uninit_assume_init

is_maybe_uninit_uninit

is_maybe_uninit_write

is_mem_copy_or_write_api

Memory copy/write intrinsics that legitimately write through a raw pointer without requiring the target bytes to be pre-initialized (e.g. ptr::write, write_bytes, copy_nonoverlapping, ptr::copy). Used by the checker to discharge Init/Typed obligations on MaybeUninit targets.

is_nonnull_api 🔒

is_numeric_arith

Numeric operations with no precise effect model — these fall back to an unconstrained result (eff_none). unchecked_add/mul and checked_add/mul are deliberately absent: REGISTRY matches them earlier with the more precise int_add/int_mul/int_checked_* rows.

is_offset_from_unsigned

is_option_unwrap

is_ownership_reconstruction

is_ownership_transfer_api

is_pointer_add

is_pointer_sub

is_post_inc_start

is_pre_dec_end

is_ptr_write

is_read_api

is_select_unpredictable

is_std_box

is_std_cstring

is_std_iter_or_itermut

is_std_nonnull

is_std_option

is_std_ordering

is_std_vec

is_vec_alloc_constructor

is_vec_from_box

is_vec_or_cstring_call

is_vec_ownership_transfer_api

is_vec_push

is_vec_with_capacity