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.TypedC.typ * int) Binsec.Virtual_address.Htbl.t -> unit