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