package bap-std

  1. Overview
  2. Docs
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/Bil/Storage/index.html

Module Bil.Storage

Predefined storage classes

  • deprecated

    Use the Primus Framework

class linear : storage

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.

class sparse : storage

sparse storage is slightly more efficient storage, in comparison with linear. It uses balanced tree data structure, and provides logarithmic lookup and update method.

OCaml

Innovation. Community. Security.