package bap-frames

  1. Overview
  2. Docs
type float64 = float
type uint64 = int64
type binary = string
type float = float64
type thread_id = uint64
type address = uint64
type bit_length = int
type taint_id = uint64
type exception_number = uint64
type argument = int64
type frame = [
  1. | `std_frame of Frame_piqi.std_frame
  2. | `syscall_frame of Frame_piqi.syscall_frame
  3. | `exception_frame of Frame_piqi.exception_frame
  4. | `taint_intro_frame of Frame_piqi.taint_intro_frame
  5. | `modload_frame of Frame_piqi.modload_frame
  6. | `key_frame of Frame_piqi.key_frame
]
type operand_info_specific = [
  1. | `mem_operand of Frame_piqi.mem_operand
  2. | `reg_operand of Frame_piqi.reg_operand
]
type taint_info = [
  1. | `no_taint
  2. | `taint_id of taint_id
  3. | `taint_multiple
]
type value_source_tag = [
  1. | `no_thread_id
  2. | `thread_id of 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 = 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