package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec_kernel_parser.Parse_helpers`Source

Sourceval incr_address : Binsec_kernel_dba.Dba.address -> unit

Sourceval cur_address : unit -> int

val patch_expr_size : 
  Binsec_kernel_dba.Dba.Expr.t ->
  int ->
  Binsec_kernel_dba.Dba.Expr.t

Sourceval expr_of_name : string -> Binsec_kernel_dba.Dba.Expr.t

Sourcemodule Initialization : sig ... end

Sourcemodule Message : sig ... end

Sourcemodule Declarations : sig ... end

Sourcemodule Mk : sig ... end

Sourceval mk_patches : (int * 'a) list -> 'a Binsec_base.Virtual_address.Map.t