package bap-std

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

expression visitor.

A class for observing expression trees.

Visits AST providing lots of hooks.

For each AST constructor C the visitor provides three methods: enter_C, visit_C, leave_C. The default implementation for enter_C and leave_C is to return its argument. The default implementation for visit_C is the following: 1. call enter_C 2. visit all children 3. call leave_C.

It is recommended to override enter_C method if you only need to visit C constructor without changing a way you're visiting the tree.

See also Bil.visitor and Term.visitor for visiting a program in AST and Graph representation, respectively.

inherit state
method enter_exp : t -> 'a -> 'a
method visit_exp : t -> 'a -> 'a
method leave_exp : t -> 'a -> 'a
method enter_load : mem:t -> addr:t -> endian -> size -> 'a -> 'a

Load (src,addr,endian,size)

method visit_load : mem:t -> addr:t -> endian -> size -> 'a -> 'a
method leave_load : mem:t -> addr:t -> endian -> size -> 'a -> 'a
method enter_store : mem:t -> addr:t -> exp:t -> endian -> size -> 'a -> 'a

Store (dst,addr,src,endian,size)

method visit_store : mem:t -> addr:t -> exp:t -> endian -> size -> 'a -> 'a
method leave_store : mem:t -> addr:t -> exp:t -> endian -> size -> 'a -> 'a
method enter_binop : binop -> t -> t -> 'a -> 'a

BinOp (op,e1,e2)

method visit_binop : binop -> t -> t -> 'a -> 'a
method leave_binop : binop -> t -> t -> 'a -> 'a
method enter_unop : unop -> t -> 'a -> 'a

Unop (op,e)

method visit_unop : unop -> t -> 'a -> 'a
method leave_unop : unop -> t -> 'a -> 'a
method enter_cast : cast -> int -> t -> 'a -> 'a

Cast(kind,size,e)

method visit_cast : cast -> int -> t -> 'a -> 'a
method leave_cast : cast -> int -> t -> 'a -> 'a
method enter_let : var -> exp:t -> body:t -> 'a -> 'a

Let (v,t,body)

method visit_let : var -> exp:t -> body:t -> 'a -> 'a
method leave_let : var -> exp:t -> body:t -> 'a -> 'a
method enter_ite : cond:t -> yes:t -> no:t -> 'a -> 'a

Ite (cond,yes,no)

method visit_ite : cond:t -> yes:t -> no:t -> 'a -> 'a
method leave_ite : cond:t -> yes:t -> no:t -> 'a -> 'a
method enter_extract : hi:int -> lo:int -> t -> 'a -> 'a

Extract (hi,lo,e)

method visit_extract : hi:int -> lo:int -> t -> 'a -> 'a
method leave_extract : hi:int -> lo:int -> t -> 'a -> 'a
method enter_concat : t -> t -> 'a -> 'a

Concat(e1,e2)

method visit_concat : t -> t -> 'a -> 'a
method leave_concat : t -> t -> 'a -> 'a
method enter_int : word -> 'a -> 'a

Int w

method visit_int : word -> 'a -> 'a
method leave_int : word -> 'a -> 'a
method enter_var : var -> 'a -> 'a

Var v

method visit_var : var -> 'a -> 'a
method leave_var : var -> 'a -> 'a
method enter_unknown : string -> typ -> 'a -> 'a

Unknown (str,typ)

method visit_unknown : string -> typ -> 'a -> 'a
method leave_unknown : string -> typ -> 'a -> 'a
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