Module fn_simulator 

Function simulation: API behaviour modelling when MIR is unavailable.

Each recognised standard-library API is described by a single table row: a name matcher, argument dependency, and effect builder. The public entry points lookup_dependency and lookup_effect scan the table linearly (first match wins) and convert the matched row into the concrete summaries consumed by the backward/forward visitors.

Two layers, both visible in one place:

1. Matcher functions — cheap name-pattern checks (hot-path is_* helpers for classification queries).
2. Effect functions — produce the Vec<CallEffect> for a single API.

Macros

E 🔒

dep0 🔒

dep01 🔒

none 🔒

Structs

EffCtx

Entry 🔒

Constants

ALL 🔒

Statics

REGISTRY 🔒

Functions

align_to_local 🔒

allocator_allocate 🔒

bit_preserving_nz 🔒

Bit-preserving integer operations: rotations, byte/bit reversals, endianness conversions, popcount, integer square root and saturating power all map 0 to 0 and non-zero to non-zero, so the result is non-zero iff the operand is (ReturnNonZeroIff).

checked_pow_nz 🔒

checked_pow returns Option<T> whose Some payload is non-zero iff the base is non-zero (ReturnOptionSomeNonZeroIff).

cmp_min 🔒

eff_alias_arg0 🔒

eff_alias_nonnull 🔒

eff_alias_ptr 🔒

eff_align_offset 🔒

eff_align_to 🔒

eff_allocator_allocate 🔒

eff_box_from_vec 🔒

eff_cmp_min 🔒

eff_forget 🔒

eff_from_raw_parts 🔒

eff_from_trait 🔒

eff_is_empty 🔒

eff_layout_align 🔒

eff_layout_const 🔒

eff_len 🔒

eff_new_allocation 🔒

eff_new_allocation_from_cap 🔒

eff_none 🔒

eff_offset_from_unsigned 🔒

eff_option_scan_index 🔒

eff_overflowing_nz 🔒

eff_ownership_recon 🔒

eff_ptr_add 🔒

eff_ptr_sub 🔒

eff_read_mem 🔒

eff_return_abs 🔒

eff_return_add 🔒

eff_return_clamp 🔒

eff_return_iter 🔒

eff_return_max 🔒

eff_return_mul 🔒

eff_return_neg 🔒

eff_return_nonzero_iff 🔒

eff_return_option_some_add 🔒

eff_return_option_some_mul 🔒

eff_return_option_some_nonzero_iff 🔒

eff_return_sub 🔒

eff_scan_length 🔒

eff_split_at 🔒

eff_vec_from_box 🔒

eff_write_mem 🔒

from_trait_call 🔒

int_abs 🔒

int_add 🔒

int_checked_add 🔒

int_checked_mul 🔒

int_clamp 🔒

int_max 🔒

Comparison / absolute-value / negation / saturating & unchecked arithmetic operations. Each is modelled with a precise expression over its operands (see the eff_return_* builders) so non-zero-ness is discharged conditionally — only when the operands are actually non-zero.

int_mul 🔒

int_neg 🔒

into_iter_local 🔒

is_empty 🔒

is_nonnull_dest 🔒

is_slice_get_unchecked 🔒

is_strlen 🔒

iter_position 🔒

layout_align 🔒

layout_call_ty 🔒

layout_constant_effect 🔒

lookup_dependency

lookup_effect

mem_forget 🔒

nonnull_as_mut 🔒

nonnull_as_ref 🔒

nonnull_from 🔒

nonnull_new 🔒

nonnull_new_unchecked 🔒

nonnull_pointee_alignment 🔒

overflowing_nz 🔒

overflowing_abs / overflowing_neg return (result, overflow) where the result field (0) is non-zero whenever the operand is non-zero. Model the field 0 as non-zero (ReturnTupleFieldNonZero { field: 0 }).

ptr_read 🔒

saturating_sub 🔒

slice_index 🔒

split_at 🔒

transmute 🔒