Create.Heap_typechecker
val type_heap :
symbols:Z.t Binsec_codex_lib.Codex.Datatype_sig.StringMap.t ->
ReadMem.t ->
Binsec.Virtual_address.t ->
Binsec_codex_lib.Codex.Types.Ctypes.typ ->
(Binsec_codex_lib.Codex.Types.Ctypes.typ * int) Binsec.Virtual_address.Htbl.t