package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Cli.S
val is_enabled : unit -> bool
module Logger : Logger.S
module Concretize_regs : Cli.CHECKABLE with type t = [ `All | `Stack | `Register of string ] list
module Concretize_mem : Cli.GENERIC with type t = [ `No | `Exact | `Approximate of int ]