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

sha256=9c126781385d2fa9b8edab22e62b25c70bf2f99f6ec78abb7e5e36d63cfa4174

md5=5abd9b3628b43f797326034f31ca574f

doc/bap/Bap/Std/Biri/class-context/index.html

Class `Biri.context`

Biri evaluates terms in the context of a whole program (since terms may contain calls and jumps). Biri also tracks for current position inside block, the block and preceding block.

Note, that even if some properties do not provide setters, they can still change during the evaluation, as other implementations may override them and provide different behavior.

inherit Expi.context

method program : program term

current model of a program.

method main : sub term option

the entry point of evaluation

method trace : tid list

list of term that were already executed (may be long)

method enter_term : tid -> 's

Should be called when a new term is entered. This implementation will update the trace list with the passed argument.

method set_next : tid option -> 's

set_next tid set the identifier of the next term.

method next : tid option

The next term identifier is the identifier of a term, that should be executed next. If next is None then, the interpretation will stop. The identifier must belong to a term, that is in the program and is either an identifier of a block or a subroutine.