package bap-std

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

Install

Dune Dependency

Authors

Maintainers

Sources

v2.3.0.tar.gz
sha256=a6e80853aaaa26b7ca564d9878891d7146ec1c83852541387c1bba1ad036b8ea
md5=13f2cb1e3b9d90348852252fb0f2d09f

doc/bap/Bap/Std/Exp/class-state/index.html

Class Exp.state

All visitors provide some information about the current position of the visitor

val exps_stack : exp list

a stack of expr, that are parents for the currently visiting expression

val under_condition : bool

is true if currently visiting entry is executed conditionally

OCaml

Innovation. Community. Security.