Module Binsec.Kernel_options

module Logger : Logger.S

General command-line options (globals vars)

Executable file (or unnamed argument)

User-provided configuration file

module Machine : sig ... end

Use external decoder This is for example needed for arm support.

Static disassembly / Analysis

DBA start address

module Entry_point : Cli.STRING_OPT

Tests

Experimental purposes only