charon_lib::transform

Module reconstruct_boxes

Source
Expand description

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

Structs§

Transform