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