package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec_cli_xtrasec.Xtrasec_options`Source

include Binsec.Cli.S

include Binsec_cli.Cli.ENABLEABLE

val is_enabled : unit -> bool

is_enabled is a switch that is automatically set.

Can be set programmatically with enable and disable.

val enable : unit -> unit

val disable : unit -> unit

module Logger : Binsec_base.Logger.S

module Output_smt : Binsec.Cli.STRING_OPT

module Trace_file : Binsec.Cli.STRING_OPT

module Concretize_regs : 
  Binsec.Cli.GENERIC with type t = [ `All | `Stack | `Register of string ] list

module Concretize_mem : 
  Binsec.Cli.GENERIC with type t = [ `No | `Exact | `Approximate of int ]