bap-frames 2.1.2 (latest) · OCaml Package

module Frame_piqi : sig ... end

module Operand_info : sig ... end

module Reg_operand : sig ... end

module Mem_operand : sig ... end

module Operand_usage : sig ... end

module Std_frame : sig ... end

module Syscall_frame : sig ... end

module Exception_frame : sig ... end

module Taint_intro_frame : sig ... end

module Taint_intro : sig ... end

module Modload_frame : sig ... end

module Key_frame : sig ... end

module Tagged_value_list : sig ... end

module Value_info : sig ... end

module Meta_frame : sig ... end

module Tracer : sig ... end

module Target : sig ... end

module Fstats : sig ... end

val parse_float64 : Piqirun.t -> Frame_piqi.float

val packed_parse_float64 : Piqirun.IBuf.t -> float

val parse_uint64 : Piqirun.t -> Frame_piqi.address

val packed_parse_uint64 : Piqirun.IBuf.t -> int64

val parse_int : Piqirun.t -> Frame_piqi.bit_length

val packed_parse_int : Piqirun.IBuf.t -> int

val parse_binary : Piqirun.t -> Frame_piqi.binary

val parse_string : Piqirun.t -> string

val parse_bool : Piqirun.t -> bool

val packed_parse_bool : Piqirun.IBuf.t -> bool

val parse_int64 : Piqirun.t -> Frame_piqi.argument

val packed_parse_int64 : Piqirun.IBuf.t -> int64

val parse_float : Piqirun.t -> Frame_piqi.float

val packed_parse_float : Piqirun.IBuf.t -> float

val parse_frame : 
  Piqirun.t ->
  [> `exception_frame of Exception_frame.t
  | `key_frame of Key_frame.t
  | `modload_frame of Modload_frame.t
  | `std_frame of Std_frame.t
  | `syscall_frame of Syscall_frame.t
  | `taint_intro_frame of Taint_intro_frame.t ]

val parse_thread_id : Piqirun.t -> Frame_piqi.address

val packed_parse_thread_id : Piqirun.IBuf.t -> int64

val parse_address : Piqirun.t -> Frame_piqi.address

val packed_parse_address : Piqirun.IBuf.t -> int64

val parse_bit_length : Piqirun.t -> Frame_piqi.bit_length

val packed_parse_bit_length : Piqirun.IBuf.t -> int

val parse_taint_id : Piqirun.t -> Frame_piqi.address

val packed_parse_taint_id : Piqirun.IBuf.t -> int64

val parse_exception_number : Piqirun.t -> Frame_piqi.address

val packed_parse_exception_number : Piqirun.IBuf.t -> int64

val parse_operand_value_list : Piqirun.t -> Frame_piqi.operand_value_list

val parse_operand_info : Piqirun.t -> Frame_piqi.operand_info

val parse_operand_info_specific : Piqirun.t -> Frame_piqi.operand_info_specific

val parse_reg_operand : Piqirun.t -> Frame_piqi.reg_operand

val parse_mem_operand : Piqirun.t -> Frame_piqi.mem_operand

val parse_operand_usage : Piqirun.t -> Frame_piqi.operand_usage

val parse_taint_info : Piqirun.t -> Frame_piqi.taint_info

val parse_std_frame : Piqirun.t -> Std_frame.t

val parse_syscall_frame : Piqirun.t -> Syscall_frame.t

val parse_argument_list : Piqirun.t -> Frame_piqi.argument_list

val parse_argument : Piqirun.t -> Frame_piqi.argument

val packed_parse_argument : Piqirun.IBuf.t -> int64

val parse_exception_frame : Piqirun.t -> Exception_frame.t

val parse_taint_intro_frame : Piqirun.t -> Taint_intro_frame.t

val parse_taint_intro_list : Piqirun.t -> Frame_piqi.taint_intro_list

val parse_taint_intro : Piqirun.t -> Frame_piqi.taint_intro

val parse_modload_frame : Piqirun.t -> Modload_frame.t

val parse_key_frame : Piqirun.t -> Key_frame.t

val parse_tagged_value_lists : Piqirun.t -> Frame_piqi.tagged_value_lists

val parse_tagged_value_list : Piqirun.t -> Frame_piqi.tagged_value_list

val parse_value_source_tag : Piqirun.t -> Frame_piqi.value_source_tag

val parse_value_list : Piqirun.t -> Frame_piqi.value_list

val parse_value_info : Piqirun.t -> Frame_piqi.value_info

val parse_meta_frame : Piqirun.t -> Meta_frame.t

val parse_tracer : Piqirun.t -> Frame_piqi.tracer

val parse_target : Piqirun.t -> Frame_piqi.target

val parse_fstats : Piqirun.t -> Frame_piqi.fstats

val gen__float64 : int -> Frame_piqi.float -> Piqirun.OBuf.t

val packed_gen__float64 : float -> Piqirun.OBuf.t

val gen__uint64 : int -> Frame_piqi.address -> Piqirun.OBuf.t

val packed_gen__uint64 : int64 -> Piqirun.OBuf.t

val gen__int : int -> Frame_piqi.bit_length -> Piqirun.OBuf.t

val packed_gen__int : int -> Piqirun.OBuf.t

val gen__binary : int -> Frame_piqi.binary -> Piqirun.OBuf.t

val gen__string : int -> string -> Piqirun.OBuf.t

val gen__bool : int -> bool -> Piqirun.OBuf.t

val packed_gen__bool : bool -> Piqirun.OBuf.t

val gen__int64 : int -> Frame_piqi.argument -> Piqirun.OBuf.t

val packed_gen__int64 : int64 -> Piqirun.OBuf.t

val gen__float : int -> Frame_piqi.float -> Piqirun.OBuf.t

val packed_gen__float : float -> Piqirun.OBuf.t

val gen__frame : int -> Frame_piqi.frame -> Piqirun.OBuf.t

val gen__thread_id : int -> Frame_piqi.address -> Piqirun.OBuf.t

val packed_gen__thread_id : int64 -> Piqirun.OBuf.t

val gen__address : int -> Frame_piqi.address -> Piqirun.OBuf.t

val packed_gen__address : int64 -> Piqirun.OBuf.t

val gen__bit_length : int -> Frame_piqi.bit_length -> Piqirun.OBuf.t

val packed_gen__bit_length : int -> Piqirun.OBuf.t

val gen__taint_id : int -> Frame_piqi.address -> Piqirun.OBuf.t

val packed_gen__taint_id : int64 -> Piqirun.OBuf.t

val gen__exception_number : int -> Frame_piqi.address -> Piqirun.OBuf.t

val packed_gen__exception_number : int64 -> Piqirun.OBuf.t

val gen__operand_value_list : 
  int ->
  Frame_piqi.operand_value_list ->
  Piqirun.OBuf.t

val gen__operand_info : int -> Frame_piqi.operand_info -> Piqirun.OBuf.t

val gen__operand_info_specific : 
  int ->
  Frame_piqi.operand_info_specific ->
  Piqirun.OBuf.t

val gen__reg_operand : int -> Frame_piqi.reg_operand -> Piqirun.OBuf.t

val gen__mem_operand : int -> Frame_piqi.mem_operand -> Piqirun.OBuf.t

val gen__operand_usage : int -> Frame_piqi.operand_usage -> Piqirun.OBuf.t

val gen__taint_info : int -> Frame_piqi.taint_info -> Piqirun.OBuf.t

val gen__std_frame : int -> Frame_piqi.std_frame -> Piqirun.OBuf.t

val gen__syscall_frame : int -> Frame_piqi.syscall_frame -> Piqirun.OBuf.t

val gen__argument_list : int -> Frame_piqi.argument_list -> Piqirun.OBuf.t

val gen__argument : int -> Frame_piqi.argument -> Piqirun.OBuf.t

val packed_gen__argument : int64 -> Piqirun.OBuf.t

val gen__exception_frame : int -> Frame_piqi.exception_frame -> Piqirun.OBuf.t

val gen__taint_intro_frame : 
  int ->
  Frame_piqi.taint_intro_frame ->
  Piqirun.OBuf.t

val gen__taint_intro_list : 
  int ->
  Frame_piqi.taint_intro_list ->
  Piqirun.OBuf.t

val gen__taint_intro : int -> Frame_piqi.taint_intro -> Piqirun.OBuf.t

val gen__modload_frame : int -> Frame_piqi.modload_frame -> Piqirun.OBuf.t

val gen__key_frame : int -> Frame_piqi.key_frame -> Piqirun.OBuf.t

val gen__tagged_value_lists : 
  int ->
  Frame_piqi.tagged_value_lists ->
  Piqirun.OBuf.t

val gen__tagged_value_list : 
  int ->
  Frame_piqi.tagged_value_list ->
  Piqirun.OBuf.t

val gen__value_source_tag : 
  int ->
  Frame_piqi.value_source_tag ->
  Piqirun.OBuf.t

val gen__value_list : int -> Frame_piqi.value_list -> Piqirun.OBuf.t

val gen__value_info : int -> Frame_piqi.value_info -> Piqirun.OBuf.t

val gen__meta_frame : int -> Meta_frame.t -> Piqirun.OBuf.t

val gen__tracer : int -> Frame_piqi.tracer -> Piqirun.OBuf.t

val gen__target : int -> Frame_piqi.target -> Piqirun.OBuf.t

val gen__fstats : int -> Frame_piqi.fstats -> Piqirun.OBuf.t

val gen_float64 : Frame_piqi.float -> Piqirun.OBuf.t

val gen_uint64 : Frame_piqi.address -> Piqirun.OBuf.t

val gen_int : Frame_piqi.bit_length -> Piqirun.OBuf.t

val gen_binary : Frame_piqi.binary -> Piqirun.OBuf.t

val gen_string : string -> Piqirun.OBuf.t

val gen_bool : bool -> Piqirun.OBuf.t

val gen_int64 : Frame_piqi.argument -> Piqirun.OBuf.t

val gen_float : Frame_piqi.float -> Piqirun.OBuf.t

val gen_frame : Frame_piqi.frame -> Piqirun.OBuf.t

val gen_thread_id : Frame_piqi.address -> Piqirun.OBuf.t

val gen_address : Frame_piqi.address -> Piqirun.OBuf.t

val gen_bit_length : Frame_piqi.bit_length -> Piqirun.OBuf.t

val gen_taint_id : Frame_piqi.address -> Piqirun.OBuf.t

val gen_exception_number : Frame_piqi.address -> Piqirun.OBuf.t

val gen_operand_value_list : Frame_piqi.operand_value_list -> Piqirun.OBuf.t

val gen_operand_info : Frame_piqi.operand_info -> Piqirun.OBuf.t

val gen_operand_info_specific : 
  Frame_piqi.operand_info_specific ->
  Piqirun.OBuf.t

val gen_reg_operand : Frame_piqi.reg_operand -> Piqirun.OBuf.t

val gen_mem_operand : Frame_piqi.mem_operand -> Piqirun.OBuf.t

val gen_operand_usage : Frame_piqi.operand_usage -> Piqirun.OBuf.t

val gen_taint_info : Frame_piqi.taint_info -> Piqirun.OBuf.t

val gen_std_frame : Frame_piqi.std_frame -> Piqirun.OBuf.t

val gen_syscall_frame : Frame_piqi.syscall_frame -> Piqirun.OBuf.t

val gen_argument_list : Frame_piqi.argument_list -> Piqirun.OBuf.t

val gen_argument : Frame_piqi.argument -> Piqirun.OBuf.t

val gen_exception_frame : Frame_piqi.exception_frame -> Piqirun.OBuf.t

val gen_taint_intro_frame : Frame_piqi.taint_intro_frame -> Piqirun.OBuf.t

val gen_taint_intro_list : Frame_piqi.taint_intro_list -> Piqirun.OBuf.t

val gen_taint_intro : Frame_piqi.taint_intro -> Piqirun.OBuf.t

val gen_modload_frame : Frame_piqi.modload_frame -> Piqirun.OBuf.t

val gen_key_frame : Frame_piqi.key_frame -> Piqirun.OBuf.t

val gen_tagged_value_lists : Frame_piqi.tagged_value_lists -> Piqirun.OBuf.t

val gen_tagged_value_list : Frame_piqi.tagged_value_list -> Piqirun.OBuf.t

val gen_value_source_tag : Frame_piqi.value_source_tag -> Piqirun.OBuf.t

val gen_value_list : Frame_piqi.value_list -> Piqirun.OBuf.t

val gen_value_info : Frame_piqi.value_info -> Piqirun.OBuf.t

val gen_meta_frame : Meta_frame.t -> Piqirun.OBuf.t

val gen_tracer : Frame_piqi.tracer -> Piqirun.OBuf.t

val gen_target : Frame_piqi.target -> Piqirun.OBuf.t

val gen_fstats : Frame_piqi.fstats -> Piqirun.OBuf.t

val default_float64 : unit -> float

val default_uint64 : unit -> int64

val default_int : unit -> int

val default_binary : unit -> string

val default_string : unit -> string

val default_bool : unit -> bool

val default_int64 : unit -> int64

val default_float : unit -> float

val default_frame : unit -> [> `std_frame of Std_frame.t ]

val default_thread_id : unit -> int64

val default_address : unit -> int64

val default_bit_length : unit -> int

val default_taint_id : unit -> int64

val default_exception_number : unit -> int64

val default_operand_value_list : unit -> Frame_piqi.operand_info list

val default_operand_info : unit -> Operand_info.t

val default_operand_info_specific : unit -> Frame_piqi.operand_info_specific

val default_reg_operand : unit -> Reg_operand.t

val default_mem_operand : unit -> Frame_piqi.mem_operand

val default_operand_usage : unit -> Frame_piqi.operand_usage

val default_taint_info : unit -> Frame_piqi.taint_info

val default_std_frame : unit -> Std_frame.t

val default_syscall_frame : unit -> Syscall_frame.t

val default_argument_list : unit -> Frame_piqi.argument_list

val default_argument : unit -> int64

val default_exception_frame : unit -> Exception_frame.t

val default_taint_intro_frame : unit -> Taint_intro_frame.t

val default_taint_intro_list : unit -> Frame_piqi.taint_intro_list

val default_taint_intro : unit -> Taint_intro.t

val default_modload_frame : unit -> Modload_frame.t

val default_key_frame : unit -> Key_frame.t

val default_tagged_value_lists : unit -> Frame_piqi.tagged_value_lists

val default_tagged_value_list : unit -> Tagged_value_list.t

val default_value_source_tag : unit -> Frame_piqi.value_source_tag

val default_value_list : unit -> Frame_piqi.value_list

val default_value_info : unit -> Value_info.t

val default_meta_frame : unit -> Meta_frame.t

val default_tracer : unit -> Frame_piqi.tracer

val default_target : unit -> Frame_piqi.target

val default_fstats : unit -> Frame_piqi.fstats

include module type of struct include Frame_piqi end

type float64 = float

type uint64 = int64

type binary = string

type float = Frame_piqi.float64

type thread_id = Frame_piqi.uint64

type address = Frame_piqi.uint64

type bit_length = int

type taint_id = Frame_piqi.uint64

type exception_number = Frame_piqi.uint64

type argument = int64

type frame = [

| `std_frame of Frame_piqi.std_frame
| `syscall_frame of Frame_piqi.syscall_frame
| `exception_frame of Frame_piqi.exception_frame
| `taint_intro_frame of Frame_piqi.taint_intro_frame
| `modload_frame of Frame_piqi.modload_frame
| `key_frame of Frame_piqi.key_frame

]

type operand_info_specific = [

| `mem_operand of Frame_piqi.mem_operand
| `reg_operand of Frame_piqi.reg_operand

]

type taint_info = [

| `no_taint
| `taint_id of Frame_piqi.taint_id
| `taint_multiple

]

type value_source_tag = [

| `no_thread_id
| `thread_id of Frame_piqi.thread_id

]

type operand_value_list = Frame_piqi.operand_info list

type operand_info = Operand_info.t

type reg_operand = Reg_operand.t

type mem_operand = Mem_operand.t

type operand_usage = Operand_usage.t

type std_frame = Std_frame.t

type syscall_frame = Syscall_frame.t

type argument_list = Frame_piqi.argument list

type exception_frame = Exception_frame.t

type taint_intro_frame = Taint_intro_frame.t

type taint_intro_list = Frame_piqi.taint_intro list

type taint_intro = Taint_intro.t

type modload_frame = Modload_frame.t

type key_frame = Key_frame.t

type tagged_value_lists = Frame_piqi.tagged_value_list list

type tagged_value_list = Tagged_value_list.t

type value_list = Frame_piqi.value_info list

type value_info = Value_info.t

type meta_frame = Meta_frame.t

type tracer = Tracer.t

type target = Target.t

type fstats = Fstats.t

package bap-frames