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

sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46

md5=5dbc6677d646bec59fd7414f23e88cf8

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