package bap-std

  1. Overview
  2. Docs
The Binary Analysis Platform Standard Library

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.5.0.tar.gz
sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174
md5=5abd9b3628b43f797326034f31ca574f

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

Class Stmt.mapper

AST transformation. mapper allows one to map AST, performing some limited amount of transformations on it. Mapper provides extra flexibility by mapping stmt to stmt list, thus allowing to remove statements from the output (by mapping to empty list) or to map one statement to several. This is particularly useful when you map if or while statements.

inherit Exp.mapper
inherit state
method run : t list -> t list

Default entry point. But again, you can use any method as an entry

method map_stmt : t -> t list
method map_move : var -> exp -> t list
method map_jmp : exp -> t list
method map_while : cond:exp -> t list -> t list
method map_if : cond:exp -> yes:t list -> no:t list -> t list
method map_cpuexn : int -> t list
method map_special : string -> t list