package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
val instruction_callback : (Binsec.Ast.Instr.t -> Script.env -> Ir.fallthrough list) option
val process_callback : ((module Ir.GRAPH with type t = 'a) -> 'a -> unit) option
val builtin_callback : (Ir.builtin -> (Binsec.Virtual_address.t -> Path.t -> int -> State.t -> (State.t, Types.status) Result.t) option) option