package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module State.Model

type t

A model is a mapping from symbolic values (value) to their concrete values assignment (Binsec_kernel.Bitvector.t).

val empty : unit -> t

empty returns an empty model.

eval v m evaluates the expression v in the model m.

val pp : Format.formatter -> t -> unit

pp f m prints the model m in the formatter f.

val pp_with_sections : (Binsec_kernel.Virtual_address.t -> string option) -> Format.formatter -> t -> unit

pp_with_sections s f m same as pp, but may also display the section names from which memory accesses belong.