package binsec

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

Parameters

module P : Libsse.Path.S

Signature

type path = P.t
and state = S.t
val initialization_callback : (path -> state -> state) option
val declaration_callback : (Binsec.Ast.t -> Libsse.Script.env -> path -> state -> state option) option
val instruction_callback : (Binsec.Ast.Instr.t -> Libsse.Script.env -> Libsse.Ir.fallthrough list) option
val process_callback : ((module Libsse.Ir.GRAPH with type t = 'a) -> 'a -> unit) option
val builtin_callback : (Libsse.Ir.builtin -> (Binsec.Virtual_address.t -> path -> int -> state -> (state, Libsse.Types.status) Result.t) option) option
val builtin_printer : (Format.formatter -> Libsse.Ir.builtin -> bool) option
val at_exit_callback : (unit -> unit) option
OCaml

Innovation. Community. Security.