Module Libsse.ScriptSource

Sourcemodule Expr : sig ... end
Sourcemodule LValue = Binsec.Dba.LValue
Sourcemodule Instr : sig ... end
Sourcemodule Directive : sig ... end
Sourcetype t =
  1. | Start_from of Expr.t * Instr.t list
  2. | Start_from_core of Instr.t list
  3. | Load_sections of string list
  4. | Load_data of Expr.t
  5. | Import_symbols of (string * Binsec.Dba.Var.Tag.attribute) list * string
  6. | Stub of Expr.t list * Instr.t list
  7. | Init of Instr.t list
  8. | Directive of Expr.t * Directive.t