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/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