package bap-piqi

You can search for identifiers within the package.

in-package search v0.2.0

BAP plugin for serialization based on piqi library

Install

sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

type fmt = [

]

val program_of_string : fmt -> string -> Bap.Std.program Bap.Std.term

val sub_of_string : fmt -> string -> Bap.Std.sub Bap.Std.term

val blk_of_string : fmt -> string -> Bap.Std.blk Bap.Std.term

val arg_of_string : fmt -> string -> Bap.Std.arg Bap.Std.term

val phi_of_string : fmt -> string -> Bap.Std.phi Bap.Std.term

val def_of_string : fmt -> string -> Bap.Std.def Bap.Std.term

val string_of_program : fmt -> Bap.Std.program Bap.Std.term -> string

val string_of_sub : fmt -> Bap.Std.sub Bap.Std.term -> string

val string_of_blk : fmt -> Bap.Std.blk Bap.Std.term -> string

val string_of_arg : fmt -> Bap.Std.arg Bap.Std.term -> string

val string_of_phi : fmt -> Bap.Std.phi Bap.Std.term -> string

val string_of_def : fmt -> Bap.Std.def Bap.Std.term -> string