package bap-std

You can search for identifiers within the package.

in-package search v0.2.0

The Binary Analysis Platform Standard Library

Install

Dune Dependency

github.com Edit opam file Versions (5)

Authors

B

BAP Team

Maintainers

I

Ivan Gotovchits <ivg@ieee.org>

Sources

v2.3.0.tar.gz

sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea

md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Bil/Storage/class-linear/index.html

Class `Storage.linear`

linear storage literally implements operational semantics, but has O(N) lookup and uses space very ineffectively, as it is implemented as a list of assignments.

method load : addr -> word option

load a loads a byte from a a given address a

method save : addr -> word -> 's

save a w stores byte w at address a