bap-term-mapper

A BAP DSL for mapping program terms

Libraries

This package provides the following libraries (via ocamlobjinfo):

map_terms_plugin

Documentation:

  • Map_terms_features
  • Map_terms_main

bap-bml

Documentation:

  • Bap_bml BML - Bap Mapping Language.