package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
val is_enabled : unit -> bool
module Debug_level : sig ... end
module Loglevel : sig ... end
module Quiet : sig ... end
module Builder : sig ... end
type leak_info =
  1. | HaltLeak
    (*

    Halts at first leak

    *)
  2. | InstrLeak
    (*

    Reports leaky instructions (each one is reported only once)

    *)
module LeakInfo : sig ... end
module Taint : sig ... end
module ChosenValues : sig ... end
module Relse : sig ... end
module StatsFile : sig ... end
module Kind : sig ... end
module Report : sig ... end
module Status : sig ... end
type Binsec.Ast.Obj.t +=
  1. | Bool of bool
type Binsec.Ast.t +=
  1. | Globals of bool * string list
module type OPTIONS = sig ... end
val make_options : unit -> (module OPTIONS)
module Ct_state : sig ... end