binsec.sse
Se.Sse_options
Definition of command-line & programmatic options for SSE
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
include Binsec.Cli.S
val is_enabled : unit -> bool
module Logger : Binsec.Logger.S
module AlternativeEngine : Binsec.Cli.BOOLEAN
module MaxDepth : Binsec.Cli.INTEGER
module TransientEnum : Binsec.Cli.INTEGER
module JumpEnumDepth : Binsec.Cli.INTEGER
module Randomize : Binsec.Cli.BOOLEAN
module AvoidAddresses : Binsec.Cli.STRING_SET
module GoalAddresses : Binsec.Cli.STRING_SET
module LoadSections : Binsec.Cli.STRING_SET
module LoadROSections : Binsec.Cli.BOOLEAN
module MemoryFile : Binsec.Cli.STRING_OPT
module ScriptFiles : Binsec.Cli.STRING_LIST
module Comment : Binsec.Cli.BOOLEAN
module Timeout : Binsec.Cli.FLOAT
module Address_counter : sig ... end
module Visit_address_counter : Binsec.Cli.CHECKABLE with type t = Address_counter.t list
type search_heuristics =
| Dfs
| Bfs
| Nurs
module Search_heuristics : Binsec.Cli.GENERIC with type t = search_heuristics
module Solver_call_frequency : Binsec.Cli.INTEGER
Define the frequency -- in terms of number of conditionals -- with which we call the solver
module Seed : Binsec.Cli.INTEGER_OPT
Seed for the random number generator
module Directives : Binsec.Cli.GENERIC with type t = Binsec.Directive.t list
module Dot_filename_out : Binsec.Cli.STRING_OPT