Module reconstruct_boxes
charon_
lib
0.1.153
Module reconstruct_
boxes
Sections
Micro-pass: reconstruct piecewise box allocations using
malloc
and
ShallowInitBox
.
Module Items
Structs
In charon_
lib::
transform::
resugar
charon_lib
::
transform
::
resugar
Module
reconstruct_
boxes
Copy item path
Source
Expand description
§
Micro-pass: reconstruct piecewise box allocations using
malloc
and
ShallowInitBox
.
Structs
§
Transform