package bap-std

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

constant_folder is a class that implements the fold_consts

inherit Exp.mapper
inherit state
method run : t list -> t list

Default entry point. But again, you can use any method as an entry

method map_stmt : t -> t list
method map_move : var -> exp -> t list
method map_jmp : exp -> t list
method map_while : cond:exp -> t list -> t list
method map_if : cond:exp -> yes:t list -> no:t list -> t list
method map_cpuexn : int -> t list
method map_special : string -> t list
OCaml

Innovation. Community. Security.