binsec.sse
Libsse.Options
Definition of command-line & programmatic options for SSE
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.smt
binsec.sse_register
libformula
libterm
include Binsec.Cli.S
val is_enabled : unit -> bool
module Logger : Binsec.Logger.S
module AlternativeEngine : Binsec.Cli.BOOLEAN
module LegacyEngine : Binsec.Cli.BOOLEAN
module MaxDepth : Binsec.Cli.INTEGER
module TransientEnum : Binsec.Cli.INTEGER
module JumpEnumDepth : Binsec.Cli.INTEGER
module QMerge : Binsec.Cli.INTEGER
module Randomize : Binsec.Cli.BOOLEAN
module ScriptFiles : Binsec.Cli.STRING_LIST
module Timeout : Binsec.Cli.INTEGER_OPT
type search_heuristics =
| Dfs
| Bfs
| Nurs
module Search_heuristics : Binsec.Cli.GENERIC with type t = search_heuristics
module Seed : Binsec.Cli.INTEGER_OPT
Seed for the random number generator