Module Binsec_sse.ExecSource

Sourcetype warnerror =
  1. | Error
  2. | Warn
  3. | Quiet
Sourcetype Ir.builtin +=
  1. | Print of output
  2. | Signal of Types.status
Sourcetype Ir.builtin += private
  1. | Enumerate of {
    1. id : int;
    2. n : int;
    3. enum : Binsec_kernel.Dba.Expr.t;
    4. format : Output.format;
    }
  2. | Reach of {
    1. id : int;
    2. n : int;
      (*

      number of time to reach; -1 for infinite

      *)
    3. guard : Binsec_kernel.Dba.Expr.t;
    4. actions : output list;
    }
Sourcemodule type CONFIG = sig ... end
Sourceexception Halt
Sourcemodule Run (_ : CONFIG) (_ : Types.STATE) (_ : Worklist.S) () : sig ... end