Module charon_lib::transform::reconstruct_boxes

source ·
Expand description

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

Structs§