package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `Run._`

val filename : string

val isa : Binsec_kernel.Machine.isa option

val img : Binsec_kernel.Loader.Img.t

val fs : string -> Binsec_kernel.Loader_types.buffer

val assembler : (module Compiler.ASSEMBLER)

val trace : Compiler.trace

val transient_enum : int

val max_depth : int

val enumeration_limit : int

val smt_backend : Binsec_sse.Symbolic.Smtlib.Solver.backend

val smt_timeout : float option

val smt_multichecks : bool

val smt_dumpdir : string option

val missing_symbols : warnerror

val timeout : int option

val entry : Binsec_kernel.Virtual_address.t option

val script : 
  (unit, Binsec_script.obj, unit, unit, Binsec_script.obj Dyp.dyplexbuf)
    Dyp.dyp_action
    list
    list ->
  Binsec_sse.Script.Ast.t list

val plugins : (module Types.PLUGIN) list

package binsec

Parameter Run._

Parameter `Run._`