Module def_use 

Verify-specific extensions for def-use computation.

Re-exports core types from helpers/def_use and augments PlaceKey / RelevantPlaces with contract/property-aware methods.

Structs

DefUse

Definitions and uses collected from one MIR item.

PlaceKey

Projection-insensitive enough place key for relevance tracking.

RelevantPlaces

Set of places that make MIR items relevant to a property.

Enums

PlaceBaseKey

Base of a contract/MIR place tracked by relevance.

Functions

bind_callsite_roots

Bind callee parameter roots to concrete MIR call operands.

bind_operand_place 🔒

call_args_uses_at

Collect MIR roots used by selected call argument indices.

is_target_argument_index 🔒

Return whether an argument index is a target-place position for a property.

operand_uses

Collect all MIR roots used by an operand.

rvalue_operands

Collect all MIR operands referenced by an rvalue.

terminator_use_def

Collect definitions and uses for one MIR terminator.

trace_place_origin

Trace a PlaceKey through the dataflow graph to resolve Copy/Move chains back to their origin local.