charon_lib::transform

Module reconstruct_boxes

source
Expand description

§Micro-pass: reconstruct piecewise box allocations using malloc and ShallowInitBox.

Structs§