package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

Program builder.

type t

Initializes an empty builder.

val create : ?tid:tid -> ?subs:int -> unit -> t

Initializes an empty builder.

val add_sub : t -> sub term -> unit

add_sub builder sub appends a subroutine term to the program.

val result : t -> program term

fixes the result