bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Env
type exn +=
| Undefined_var of Bap.Std.var

A variable is undefined, if it was never added to the environment.

val generated : (Bap.Std.var * value) observation
module Make (Machine : Machine.S) : sig ... end

Env = Make(Machine)