package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz

sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5

md5=b8b1aff8c6846f2213eafc54de07b304

doc/bap/Bap/Std/Bil/Pass/index.html

Module `Bil.Pass`

A BIL analysis pass

since 1.5

val name : pass -> string

name p returns the name of the given pass.

include Regular.Std.Printable.S with type t := pass

val to_string : pass -> string

to_string x returns a human-readable representation of x

val str : unit -> pass -> string

str () t is formatted output function that matches "%a" conversion format specifier in functions, that prints to string, e.g., sprintf, failwithf, errorf and, surprisingly all Lwt printing function, including Lwt_io.printf and logging (or any other function with type ('a,unit,string,...) formatN`. Example:

Or_error.errorf "type %a is not valid for %a"
    Type.str ty Exp.str exp

val pps : unit -> pass -> string

synonym for str

val ppo : Core_kernel.Out_channel.t -> pass -> unit

will print to a standard output_channel, useful for using in printf, fprintf, etc.

val pp_seq : Format.formatter -> pass Core_kernel.Sequence.t -> unit

prints a sequence of values of type t

this will include pp function from Core that has type t printer, and can be used in Format.printf family of functions

include Core_kernel.Pretty_printer.S with type t := pass

val pp : Base__.Formatter.t -> pass -> unit