Module property_checker 

Unified property checker for the symbolic VM.

PropertyChecker::check is the entry point; check_inner dispatches each PropertyKind to a per-family check_* method living in one of the sibling submodules (memory, bounds, typed, numeric, string, alias, cstr, transmute). Shared helpers live in util.

Modules

alias 🔒

Checkers for Alias and Owning properties.

auto_trait 🔒

Checkers for the Send/Sync marker-trait predicates.

bounds 🔒

Checkers for InBound and NonOverlap.

cstr 🔒

ValidCStr property checking for the symbolic VM.

memory 🔒

Checkers for memory-shape properties: Align, NonNull, Allocated, Init, and Alive.

numeric 🔒

Checker for ValidNum: numeric-interval and predicate reasoning.

string 🔒

Checker for ValidString: UTF-8 validity of tracked byte buffers.

transmute 🔒

Transmute / trait / size property checking for the symbolic VM.

typed 🔒

Checkers for Typed and Size.

util 🔒

Shared helpers for the property checkers.

Structs

PropertyChecker 🔒