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

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Term/class-mapper/index.html

Class `Term.mapper`

Mapper performs deep identity term mapping. If you override any method make sure that you didn't forget to invoke parent's method, as OCaml will not call it for you.

inherit Exp.mapper

method map_term : 't 'p. ('p, 't) cls -> 't term -> 't term

map_term cls t dispatches t to corresponding method

method run : program term -> program term

run p maps each sub in program p

method map_sub : sub term -> sub term

map_sub sub maps each arg and blk in sub

method map_arg : arg term -> arg term

map_arg arg is arg

method map_blk : blk term -> blk term

map_blk blk is blk

method map_phi : phi term -> phi term

map_phi phi is phi

method map_def : def term -> def term

map_def def is def

method map_jmp : jmp term -> jmp term

map_jmp jmp is jmp