package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val heap_index : int
val dominator : 'a array -> (int -> int list) -> Javalib_pack.Ptset.t array
val make_idom_tree : Javalib_pack.Ptset.t array -> int -> int list
val idom : Javalib_pack.Ptset.t array -> (int -> int) * (int -> int list)
val domf : int -> (int -> int list) -> (int -> int) -> int -> Javalib_pack.Ptset.t
val show_digraph : 'a array -> (int -> int list) -> unit
val place_phi_nodes : bir -> int -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t -> (int -> Javalib_pack.Ptset.t) -> (int -> var -> bool) -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t
val debug_code : bir -> (int -> 'a Javalib_pack.Ptmap.t) -> (int -> int list) -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t -> int list -> (int -> int list) -> unit
val use_bcvars : instr -> Javalib_pack.Ptset.t
val def_bcvar : instr -> Javalib_pack.Ptset.t
val map_instr : (var -> var) -> (var -> var) -> instr -> instr
val map_exception_handler : (var -> int -> var) -> exception_handler -> exception_handler
val live_analysis : bir -> int -> Live.Env.elt -> bool
val preds : bir -> int -> int list
val succs : bir -> int -> int list
val rename : bir -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t -> (int -> int list) -> (int -> int list) -> (int -> int list) -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t -> (int -> int -> int) * (int -> int -> int) * (int -> int Javalib_pack.Ptmap.t) * (int -> int array Javalib_pack.Ptmap.t)
val immediate_dominators : bir -> int -> int
val tarjan_idom : (int -> int list) -> (int -> int list) -> int -> int -> (int -> int) * (int -> int list)
val run : bir -> (int -> var -> bool) -> (int -> int) * (int -> Javalib_pack.Ptset.t) * (int -> int list) * Javalib_pack.Ptset.t Javalib_pack.Ptmap.t * ((int -> int -> int) * (int -> int -> int) * (int -> int Javalib_pack.Ptmap.t) * (int -> int array Javalib_pack.Ptmap.t)) * (int -> int list)
val to_string : Javalib_pack.Ptset.t -> string
val vars_to_string : ('a * unindexed_var) list -> string
val debug : bir -> ((int -> int) * (int -> Javalib_pack.Ptset.t) * (int -> int list) * Javalib_pack.Ptset.t Javalib_pack.Ptmap.t * ('a * 'b * (int -> int Javalib_pack.Ptmap.t) * (int -> int array Javalib_pack.Ptmap.t)) * 'c) -> unit
val get_heap_index : (int -> 'a) -> (int -> 'b) -> (int -> 'c * ('d * 'e) option) -> instr array -> 'b Javalib_pack.Ptmap.t * 'a Javalib_pack.Ptmap.t * ('d * 'e) Javalib_pack.Ptmap.t
val transform_from_ir : bir -> bir
OCaml

Innovation. Community. Security.