package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Semantic analysis of binary executables

Install

dune-project

Dependency

sha256=81859d54721969893aabcb5b16ff41d0698f8c24799d8357ec7b1c10cd5ebf94

sha512=580561e70189b3c77bf09364ad393750263b5cfb36dce01aa7cd34ea4d4ebcc9085a52f18b7514e4046d51b488f2dfc5271aea8259c7cbce1534b880cf76bb6e

module Any
  (P : Binsec.Cli.DETAILED_CLI_DECL) : 
  Binsec.Cli.GENERIC with type t = P.t

A very generic functor that lets you handle cases that are not provided otherwise. Use it only as last resort.

module Boolean (P : sig ... end) : Binsec.Cli.BOOLEAN

module False (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.BOOLEAN

An option that defaults to false.

module True (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.BOOLEAN

An options that defaults to true. The provided command-line switch automatically add a no- prefix to your option name.

module Integer (P : sig ... end) : Binsec.Cli.INTEGER

module Zero (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER

module Integer_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_SET

module Integer_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_LIST

module Integer_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_OPT

module Float (P : sig ... end) : Binsec.Cli.FLOAT

module Float_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_SET

module Float_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_LIST

module Float_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_OPT

module String (P : sig ... end) : Binsec.Cli.STRING

module String_choice (P : sig ... end) : Binsec.Cli.STRING

module String_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_OPT

module String_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_SET

module String_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_LIST

module Variant_choice (P : sig ... end) : Binsec.Cli.GENERIC with type t = P.t

module Variant_choice_assoc
  (P : sig ... end) : 
  Binsec.Cli.GENERIC with type t = P.t

Like Variant_choice but with automatically generated to_string and of_string function from assoc_map.

module Variant_list
  (P : sig ... end) : 
  Binsec.Cli.GENERIC with type t = P.t list