Module Dba2CodexC.Region

val written_data_addrs : Binsec.Virtual_address.Set.t Stdlib.ref
val read_data_addrs : Binsec.Virtual_address.Set.t Stdlib.ref
val set_untyped_load : bool -> unit
val set_check_store_intvl : bool -> unit
val set_param_typing : (Types.Ctypes.typ * int) Binsec.Virtual_address.Htbl.t -> unit