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/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.