package bap-std

  1. Overview
  2. No 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.2.0.tar.gz
sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46
md5=5dbc6677d646bec59fd7414f23e88cf8

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

Class Expi.context

Context for expression evaluation.

Context provides a unique identifier for each freshly created value.

inherit Context.t
method create_undefined : 's * Bil.result

creates a fresh new result, containing an undefined value, and returns it with a modified context.

method create_word : word -> 's * Bil.result

creates a fresh new result, containing a given word, and returns it with a modified context.

method create_storage : Bil.storage -> 's * Bil.result

creates a fresh new result, containing a given storage, and returns it with a modified context.