package bap-std
The Binary Analysis Platform Standard Library
Install
Dune Dependency
Authors
Maintainers
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.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.