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.1.0.tar.gz
sha256=631fc58628418e4856709a0cfc923a65e00c9494fbd28d444c633d11194831de
md5=3db9deac8d429b9b8a8ec9aec54987b1

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

Class Stmt.state

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

val preds : stmt list

the stack of stmts that was already visited, with the last on the top. Not including the currently visiting stmt.

val succs : stmt list

stmts that are not yet visited

val stmts_stack : stmt list

a stack of stmts that are parents for the currently visiting entity. The top one is the one that we're currently visiting.

val in_jmp : bool

is true if we're visiting expression that is a jump target

val in_move : bool

is true if we're visiting expression that is on the left or right side of the assignment.

val in_loop : bool

is true if currently visiting expression or statement is executed under loop.