sawja 1.5.5 · 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 = [

| `ANull
| `Class of Javalib_pack.JBasics.object_type
| `Double of float
| `Float of float
| `Int of int32
| `Long of int64
| `String of Javalib_pack.JBasics.jstr

]

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

| Const of const
| Var of Javalib_pack.JBasics.value_type * var
| Unop of unop * expr
| Binop of binop * expr * expr
| Field of expr * 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_expr : expr -> Javalib_pack.JBasics.value_type

type formula =

| Atom of [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * expr * expr
| BoolVar of expr
| 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 expr
| CheckArrayBound of expr * expr
| CheckArrayStore of expr * expr
| CheckNegativeArraySize of expr
| CheckCast of expr * Javalib_pack.JBasics.object_type
| CheckArithmetic of expr
| CheckLink of Javalib_pack.JCode.jopcode

type instr =

| Nop
| AffectVar of var * expr
| AffectArray of expr * expr * expr
| AffectField of expr * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * expr
| AffectStaticField of Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.field_signature * expr
| Goto of int
| Ifd of [ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] * expr * expr * int
| Throw of expr
| Return of expr option
| New of var * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.value_type list * expr list
| NewArray of var * Javalib_pack.JBasics.value_type * expr list
| InvokeStatic of var option * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.method_signature * expr list
| InvokeVirtual of var option * expr * virtual_call_kind * Javalib_pack.JBasics.method_signature * expr list
| InvokeNonVirtual of var option * expr * Javalib_pack.JBasics.class_name * Javalib_pack.JBasics.method_signature * expr list
| MonitorEnter of expr
| MonitorExit of expr
| 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 print_handler : exception_handler -> 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 ->
  ?almost_ssa: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

val get_callgraph : t JProgram.program -> JProgram.callgraph

val get_callgraph_from_entries : 
  t JProgram.program ->
  Javalib_pack.JBasics.class_method_signature list ->
  JProgram.callgraph

exception NonemptyStack_backward_jump

exception Subroutine

package sawja