Module Binsec_sse_checkctSource

module Logger : sig ... end
Sourcetype leak_info =
  1. | HaltLeak
    (*

    Halts at first leak

    *)
  2. | InstrLeak
    (*

    Reports leaky instructions (each one is reported only once)

    *)
Sourcemodule Kind : sig ... end
Sourcemodule Report : sig ... end
Sourcemodule Status : sig ... end
Sourcetype Binsec_sse.Script.Ast.Obj.t +=
  1. | Bool of bool
Sourcetype Binsec_sse.Script.Ast.t +=
  1. | Globals of bool * string list
Sourcemodule type OPTIONS = sig ... end
Sourcemodule Ct_state : sig ... end
Sourcetype Binsec_sse.Types.field_id +=
  1. | Ct_state : ('value0, 'model0, 'state0, 'path0, Ct_state.t) Binsec_sse.Types.field_id
Sourceval grammar_extension : ('a, ('b, Binsec_sse.Script.Ast.t, 'c, Binsec_sse.Script.Ast.Instr.t, 'd, 'e, 'f, 'g, Binsec_sse.Script.Ast.Loc.t Binsec_sse.Script.Ast.loc, Binsec_sse.Script.Ast.Obj.t, 'h, 'i, 'j, 'k, 'l, 'm, 'n, 'o, 'p, 'q, 'r, 's, 't, 'u, 'v, 'w, 'x, 'y, 'z, 'a1, 'b1, 'c1, 'd1, 'e1, 'f1, 'g1, 'h1, 'i1, 'j1, 'k1, 'l1, 'm1, 'n1, 'o1, Binsec_sse.Script.Ast.Instr.t list, string, Binsec_sse.Script.Ast.Symbol.t Binsec_sse.Script.loc, 'p1) Binsec_script.Syntax.obj, 'q1, 'r1, 's1) Dyp.dyp_action list