package binsec

  1. Overview
  2. Docs

Module Parse_helpers.InitializationSource

Sourcetype identifier = string
Sourcetype operation =
  1. | Assignment of Binsec_kernel_dba.Dba.LValue.t * rvalue * identifier option
  2. | Mem_load of Binsec_kernel_dba.Dba.Expr.t * int
  3. | Assumption of Binsec_kernel_dba.Dba.Expr.t
  4. | Universal of Binsec_kernel_dba.Dba.LValue.t
Sourcetype t = {
  1. controlled : bool;
  2. operation : operation;
}
Sourceval assign : ?identifier:string -> ?controlled:bool -> Binsec_kernel_dba.Dba.LValue.t -> rvalue -> t

Mark l-value as universally quantified

Sourceval from_store : ?controlled:bool -> Binsec_kernel_dba.Dba.LValue.t -> t
Sourceval from_assignment : ?identifier:string -> ?controlled:bool -> Binsec_kernel_dba.Dba.Instr.t -> t
Sourceval set_control : bool -> t -> t