package bap-std

  1. Overview
  2. No Docs
The Binary Analysis Platform Standard Library

Install 

dune-project
 Dependency

github.com Edit opam file Versions (5)

Authors

  1. B
    BAP Team

Maintainers

  1. I
    Ivan Gotovchits <ivg@ieee.org>

Sources

v2.2.0.tar.gz
sha256=7c6d0dfe2640e800829617dd150ffe748493fe3f317ed41be44312b2821deb46
md5=5dbc6677d646bec59fd7414f23e88cf8

doc/bap/Bap/Std/Context/class-t/index.html

Class Context.t

method lookup : var -> Bil.result option

self#lookup var evaluate variable var to a value that was previously bound to it. Returns None if it is unbound.

method update : var -> Bil.result -> 's

self#update var x bind variable var to value x. Returns a a context updated with the new binding.

method bindings : (var * Bil.result) seq

self#bindings returns a current list of bindings. Useful, for debugging and introspection.