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.5.0.tar.gz

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap/Bap/Std/Eval/index.html

Module `Std.Eval`

Basic and generic expression evaluator.

The module provides functors that derive base classes and class types for Expi, Bili, and Biri.

Note, this is a low-level interface that can be used if you want to build your own evaluators (interpreters). If you want to use already existing interpreter without drastically changing the semantics of BIL consider using the Primus Framework.

since 1.3

module T1 (M : Core_kernel.T1) : sig ... end

An evaluator interface parametrized by a T1 monad.

module T2 (M : Core_kernel.T2) : sig ... end

An evaluator parametrized by a T2 monad.

module type S = sig ... end

An interface of a basic evaluator in a T1 monad

module type S2 = sig ... end