package bap-term-mapper

You can search for identifiers within the package.

in-package search v0.2.0

A BAP DSL for mapping program terms

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-bml/Bap_bml/index.html

Module `Bap_bml`

BML - Bap Mapping Language.

A small DSL for mapping terms. See bap --map-terms-help for full language grammar and description. This library implements BML's standard library and can be used to extend the language with new predicates and mapper. Just implement them and register using corresponding module.

exception Parse_error of string

A parser error

module type Registry = sig ... end

Interface to a registry. Registry is a key value storage.

module type Ops = sig ... end

module Predicates : Ops with type t = bool Bap.Std.Term.visitor

module Mappers : Ops with type t = Bap.Std.Term.mapper