Module `Binsec_sse_checkct`Source

module StrMap = Binsec_kernel.Basic_types.String.Map

module BiTbl = Binsec_kernel.Basic_types.Integers.Bigint.Htbl

module Logger : sig ... end

Sourcetype leak_info =

| HaltLeak
(*
Halts at first leak
*)
| 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 +=

| Bool of bool

Sourcetype Binsec_sse.Script.Ast.Instr.t +=

| Secret of Binsec_sse.Script.Ast.Loc.t Binsec_sse.Script.Ast.loc

Sourcetype Binsec_sse.Script.Ast.Instr.t +=

| Se_check

Sourcetype Binsec_sse.Script.Ast.t +=

| Globals of bool * string list

Sourcemodule type OPTIONS = sig ... end

Source

val (===) : 
  Binsec_sse.Symbolic.Default.Expr.t ->
  Binsec_sse.Symbolic.Default.Expr.t ->
  bool

Source

val (/==) : 
  Binsec_sse.Symbolic.Default.Expr.t ->
  Binsec_sse.Symbolic.Default.Expr.t ->
  bool

Sourcemodule Ct_state : sig ... end

Sourcetype Binsec_sse.Types.field_id +=

| Ct_state : ('value0, 'model0, 'state0, 'path0, Ct_state.t) Binsec_sse.Types.field_id

Source

val 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

Source

module Make
  (Options : OPTIONS)
  (Engine : 
    Binsec_sse.Types.ENGINE
      with type Path.value = Binsec_sse.Symbolic.Default.Expr.t) : 
  Binsec_sse.Types.EXTENSIONS with type path = Engine.Path.t

Sourcemodule Plugin (O : OPTIONS) : Binsec_sse.Types.PLUGIN

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/binsec_sse_checkct/Binsec_sse_checkct/index.html

Module `Binsec_sse_checkct`Source

package binsec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/binsec_sse_checkct/Binsec_sse_checkct/index.html

Module Binsec_sse_checkctSource

dune-project
Dependency

Module `Binsec_sse_checkct`Source