package bap-std

  1. Overview
  2. Docs
package bap-std
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct