_.ModelA model is a mapping from symbolic values (value) to their concrete values assignment (Binsec_kernel.Bitvector.t).
val empty : unit -> tempty returns an empty model.
val eval : Value.t -> t -> Binsec_kernel.Bitvector.teval v m evaluates the expression v in the model m.
val pp : Format.formatter -> t -> unitpp f m prints the model m in the formatter f.
val pp_with_sections :
(Binsec_kernel.Virtual_address.t -> string option) ->
Format.formatter ->
t ->
unitpp_with_sections s f m same as pp, but may also display the section names from which memory accesses belong.