package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Definition of command-line & programmatic options for SSE

include Binsec.Cli.S
val is_enabled : unit -> bool
module Address_counter : sig ... end
type search_heuristics =
  1. | Dfs
  2. | Bfs
  3. | Nurs

Define the frequency -- in terms of number of conditionals -- with which we call the solver

Seed for the random number generator