package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f
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.