package binsec

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

Remove the array theory from formula generated.

Warning: only works when providing a full concrete memory addressing as concretization policy

type t = bool
val set : t -> unit
val get : unit -> t
val is_default : unit -> bool