sawja 1.5.7 · OCaml Package

type var

val var_equal : var -> var -> bool

val var_orig : var -> bool

val var_name : var -> string

val var_name_debug : var -> string option

val var_name_g : var -> string

val bc_num : var -> int option

val index : var -> int

module VarSet : sig ... end

module VarMap : sig ... end

type const = JBir.const

type conv =

| I2L
| I2F
| I2D
| L2I
| L2F
| L2D
| F2I
| F2L
| F2D
| D2I
| D2L
| D2F
| I2B
| I2C
| I2S

type unop =

| Neg of Javalib_pack.JBasics.jvm_basic_type
| Conv of conv
| ArrayLength
| InstanceOf of Javalib_pack.JBasics.object_type
| Cast of Javalib_pack.JBasics.object_type

type comp =

| DG
| DL
| FG
| FL
| L

type binop =

| ArrayLoad of Javalib_pack.JBasics.value_type
| Add of Javalib_pack.JBasics.jvm_basic_type
| Sub of Javalib_pack.JBasics.jvm_basic_type
| Mult of Javalib_pack.JBasics.jvm_basic_type
| Div of Javalib_pack.JBasics.jvm_basic_type
| Rem of Javalib_pack.JBasics.jvm_basic_type
| IShl
| IShr
| IAnd
| IOr
| IXor
| IUshr
| LShl
| LShr
| LAnd
| LOr
| LXor
| LUshr
| CMP of comp

type tvar = Javalib_pack.JBasics.value_type * var

type expr =

| Const of const
| Var of tvar
| Unop of unop * tvar
| Binop of binop * tvar * tvar
| Field of tvar * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature
| StaticField of Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature

val type_of_tvar : tvar -> Javalib_pack.JBasics.value_type

val type_of_expr : expr -> Javalib_pack.JBasics.value_type

type formula =

| Atom of [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * tvar * tvar
| BoolVar of tvar
| And of formula * formula
| Or of formula * formula

val default_formula_cmd : Javalib_pack.JBasics.class_method_signature list

type virtual_call_kind =

| VirtualCall of Javalib_pack.JBasics.object_type
| InterfaceCall of Javalib_pack.JBasics.class_name

type check =

| CheckNullPointer of tvar
| CheckArrayBound of tvar * tvar
| CheckArrayStore of tvar * tvar
| CheckNegativeArraySize of tvar
| CheckCast of tvar * Javalib_pack.JBasics.object_type
| CheckArithmetic of tvar
| CheckLink of Javalib_pack.JCode.jopcode

type instr =

| Nop
| AffectVar of var * expr
| AffectArray of tvar * tvar * tvar
| AffectField of tvar * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * tvar
| AffectStaticField of Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * tvar
| Goto of int
| Ifd of [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * tvar * tvar * int
| Throw of tvar
| Return of tvar option
| New of var * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.value_type list * tvar list
| NewArray of var * Javalib_pack.JBasics.value_type * tvar list
| InvokeStatic of var option * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.method_signature * tvar list
| InvokeVirtual of var option * tvar * virtual_call_kind * Javalib_pack.JBasics.method_signature * tvar list
| InvokeNonVirtual of var option * tvar * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.method_signature * tvar list
| InvokeDynamic of var option * Javalib_pack.JBasics.bootstrap_method * Javalib_pack.JBasics.method_signature * tvar list
| MonitorEnter of tvar
| MonitorExit of tvar
| MayInit of Javalib_pack.JBasics.class_name
| Check of check
| Formula of Javalib_pack.JBasics.class_method_signature * formula

type exception_handler = {

e_start : int;
e_end : int;
e_handler : int;
e_catch_type : Javalib_pack.JBasics.class_name option;
e_catch_var : var;

}

type t

val empty : t

val vars : t -> var array

val params : t -> (Javalib_pack.JBasics.value_type * var) list

val code : t -> instr array

val exc_tbl : t -> exception_handler list

val line_number_table : t -> (int * int) list option

val pc_ir2bc : t -> int array

val jump_target : t -> bool array

val exception_edges : t -> (int * exception_handler) list

val get_source_line_number : int -> t -> int option

val make_fresh_var : t -> var

val print_handler : exception_handler -> string

val print_tvar : ?show_type:bool -> tvar -> string

val print_expr : ?show_type:bool -> expr -> string

val print_instr : ?show_type:bool -> instr -> string

val print : t -> string list

val print_program : 
  ?css:string ->
  ?js:string ->
  ?info:JPrintHtml.info ->
  t JProgram.program ->
  string ->
  unit

val print_class : 
  ?css:string ->
  ?js:string ->
  ?info:JPrintHtml.info ->
  t Javalib_pack.Javalib.interface_or_class ->
  string ->
  unit

module PluginPrinter : sig ... end

val transform : 
  ?bcv:bool ->
  ?ch_link:bool ->
  ?formula:bool ->
  ?formula_cmd:Javalib_pack.JBasics.class_method_signature list ->
  Javalib_pack.JCode.jcode Javalib_pack.Javalib.concrete_method ->
  Javalib_pack.JCode.jcode ->
  t

val resolve_all_fields : t JProgram.program -> t JProgram.program

exception NonemptyStack_backward_jump

exception Subroutine

package sawja