package binsec

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

Module Shadow_stack.BuiltinSource

Parameters

module P : Libsse.Path.S

Signature

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

Innovation. Community. Security.