package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Ai.S with type v := D.t
type t
val eval : t -> Sexpr.Expr.t -> D.t
val refine : t -> Sexpr.Expr.t -> D.t -> unit
val anchor : t -> Sexpr.Memory.t -> unit
val anchored : t -> Sexpr.Memory.t -> bool