package bap-std

  1. Overview
  2. 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.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f

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.