package bap-term-mapper

  1. Overview
  2. Docs
A BAP DSL for mapping program terms

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.4.0.tar.gz
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304

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