package binsec

You can search for identifiers within the package.

in-package search v0.2.0

package binsec

binsec

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Compiler.Straight`Source

Sourcetype 'a t

Sourceval empty : (module Types.PATH with type t = 'a) -> 'a t

Source

val assign : 
  'a t ->
  Binsec_kernel.Dba.Var.t ->
  Binsec_kernel.Dba.Expr.t ->
  unit

Sourceval clobber : 'a t -> Binsec_kernel.Dba.Var.t -> unit

Sourceval symbolize : 'a t -> Binsec_kernel.Dba.Var.t -> unit

Sourceval forget : 'a t -> Binsec_kernel.Dba.Var.t -> unit

Source

val load : 
  'a t ->
  Binsec_kernel.Dba.Var.t ->
  string option ->
  Binsec_kernel.Machine.endianness ->
  Binsec_kernel.Dba.Expr.t ->
  unit

Source

val store : 
  'a t ->
  string option ->
  Binsec_kernel.Machine.endianness ->
  addr:Binsec_kernel.Dba.Expr.t ->
  Binsec_kernel.Dba.Expr.t ->
  unit

Sourceval assume : 'a t -> Binsec_kernel.Dba.Expr.t -> unit

Sourceval check : 'a t -> Binsec_kernel.Dba.Expr.t -> unit

Source

val apply : 
  'a t ->
  ?input:Binsec_kernel.Dba_types.Var.Set.t ->
  ?output:Binsec_kernel.Dba_types.Var.Set.t ->
  ('a -> unit) ->
  unit

Source

val commit : 
  'a t ->
  pred:([ `All ], 'a) Types.fiber ->
  ([ `All ], 'a) Types.fiber

package binsec

Module Compiler.StraightSource

Module `Compiler.Straight`Source