Module cstr 

ValidCStr property checking for the symbolic VM.

Functions

body_parents 🔒

Build a local -> source map for Use/Cast/Ref/RawPtr/CopyForDeref assignments and as_ptr calls.

first_arg_local 🔒

The root local of the checkpoint’s first argument, when it is a plain Copy/Move operand with no projection.