package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.4.0.tar.gz
sha256=63ada71fa4f602bd679174dc6bf780d54aeded40ad4ec20d256df15886e3d2d5
md5=b8b1aff8c6846f2213eafc54de07b304
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.