Module Binsec_cli_xtrasec.Xtrasec_optionsSource

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
Sourcemodule Concretize_regs : Binsec.Cli.GENERIC with type t = [ `All | `Stack | `Register of string ] list
Sourcemodule Concretize_mem : Binsec.Cli.GENERIC with type t = [ `No | `Exact | `Approximate of int ]