package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1
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.tmethod create_undefined : 's * Bil.resultcreates a fresh new result, containing an undefined value, and returns it with a modified context.
method create_word : word -> 's * Bil.resultcreates a fresh new result, containing a given word, and returns it with a modified context.
method create_storage : Bil.storage -> 's * Bil.resultcreates a fresh new result, containing a given storage, and returns it with a modified context.