gtrak / no.disassemble

279 stars 13 forks source link

nodisassemble

A Clojure library designed to let you inspect bytecode of functions and things.

Artifacts

The Most Recent Release is available on clojars

With Leiningen:

 [nodisassemble "0.1.3"]

HOWEVER, don't use it this way, let lein-nodissassemble's project middleware inject it for you.

{:plugins [[lein-nodisassemble "0.1.3"]]}

Usage

no.disassemble is the runtime library created to negotiate with the agent ClassTransformer that stores class bytes globally.

In order to use no.disassemble, add lein-nodisassemble to your :plugins, which will initialize the agent transformer and make bytecode available.

WARNING: there is no cleanup of bytecode yet, so evaling a lot would surely exhaust the heap.

user=> (require 'no.disassemble)
nil

user=> (in-ns 'no.disassemble)
#<Namespace no.disassemble>

no.disassemble=> (disassemble (fn []))
"// Compiled from NO_SOURCE_FILE (version 1.5 : 49.0, super bit)\npublic final class no.disassemble$eval1170$fn__1171 extends clojure.lang.AFunction {\n  \n  // Method descriptor #7 ()V\n  // Stack: 0, Locals: 0\n  public static {};\n    0  return\n      Line numbers:\n        [pc: 0, line: 1]\n  \n  // Method descriptor #7 ()V\n  // Stack: 1, Locals: 1\n  public disassemble$eval1170$fn__1171();\n    0  aload_0\n    1  invokespecial clojure.lang.AFunction() [10]\n    4  return\n      Line numbers:\n        [pc: 0, line: 1]\n  \n  // Method descriptor #12 ()Ljava/lang/Object;\n  // Stack: 1, Locals: 1\n  public java.lang.Object invoke();\n    0  aconst_null\n    1  areturn\n      Line numbers:\n        [pc: 0, line: 1]\n      Local variable table:\n        [pc: 0, pc: 1] local: this index: 0 type: java.lang.Object\n\n}"

no.disassemble=> (println (disassemble (fn [])))
// Compiled from NO_SOURCE_FILE (version 1.5 : 49.0, super bit)
public final class no.disassemble$eval1174$fn__1175 extends clojure.lang.AFunction {

  // Method descriptor #7 ()V
  // Stack: 0, Locals: 0
  public static {};
    0  return
      Line numbers:
        [pc: 0, line: 1]

  // Method descriptor #7 ()V
  // Stack: 1, Locals: 1
  public disassemble$eval1174$fn__1175();
    0  aload_0
    1  invokespecial clojure.lang.AFunction() [10]
    4  return
      Line numbers:
        [pc: 0, line: 1]

  // Method descriptor #12 ()Ljava/lang/Object;
  // Stack: 1, Locals: 1
  public java.lang.Object invoke();
    0  aconst_null
    1  areturn
      Line numbers:
        [pc: 0, line: 1]
      Local variable table:
        [pc: 0, pc: 1] local: this index: 0 type: java.lang.Object

}
nil
no.disassemble=> 

You can also manipulate the disassembly as a Clojure data structure:

user=> (-> (fn []) disassemble-data pprint)
{:minor-version 0,
 :superclass-name clojure/lang/AFunction,
 :class? true,
 :major-version 49,
 :name user$eval1321$fn__1322,
 :interface-names [],
 :methods
 ({:access-flags #{:public :static},
   :name <clinit>,
   :clinit? true,
   :deprecated? false,
   :code
   {:max-locals 0,
    :max-stack 0,
    :line-numbers {0 1},
    :local-variables nil,
    :exception-table (),
    :raw-bytecode [-79],
    :bytecode [[:return 0]],
    :code-length 1},
   :descriptor "()V",
   :constructor? false,
   :exception nil,
   :synthetic? false}
  {:access-flags #{:public},
   :name <init>,
   :clinit? false,
   :deprecated? false,
   :code
   {:max-locals 1,
    :max-stack 1,
    :line-numbers {0 1},
    :local-variables nil,
    :exception-table (),
    :raw-bytecode [42, -73, 0, 10, -79],
    :bytecode
    [[:aload_0 0]
     [:invokespecial
      1
      10
      {:kind :methodref,
       :class-name "clojure/lang/AFunction",
       :method-name "<init>",
       :method-descriptor "()V"}]
     [:return 4]],
    :code-length 5},
   :descriptor "()V",
   :constructor? true,
   :exception nil,
   :synthetic? false}
  {:access-flags #{:public},
   :name invoke,
   :clinit? false,
   :deprecated? false,
   :code
   {:max-locals 1,
    :max-stack 1,
    :line-numbers {0 1},
    :local-variables
    ({:name this,
      :descriptor "Ljava/lang/Object;",
      :length 1,
      :start-pc 0}),
    :exception-table (),
    :raw-bytecode [1, -80],
    :bytecode [[:aconst_null 0] [:areturn 1]],
    :code-length 2},
   :descriptor "()Ljava/lang/Object;",
   :constructor? false,
   :exception nil,
   :synthetic? false}),
 :attributes
 ("NO_SOURCE_FILE"
  {:type org.eclipse.jdt.internal.core.util.ClassFileAttribute,
   :name "SourceDebugExtension",
   :length 94}),
 :fields (),
 :interface? false}
    no.disassemble=> (println (disassemble disassemble))
    // Compiled from disassemble.clj (version 1.5 : 49.0, super bit)
    public final class no.disassemble$disassemble extends clojure.lang.AFunction {

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__0;

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__1;

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__2;

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__3;

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__4;

      // Field descriptor #13 Lclojure/lang/Keyword;
      public static final clojure.lang.Keyword const__5;

      // Field descriptor #7 Lclojure/lang/Var;
      public static final clojure.lang.Var const__6;

      // Field descriptor #16 Lclojure/lang/KeywordLookupSite;
      static final clojure.lang.KeywordLookupSite __site__0__;

      // Field descriptor #18 Lclojure/lang/ILookupThunk;
      static clojure.lang.ILookupThunk __thunk__0__;

      // Method descriptor #20 ()V
      // Stack: 4, Locals: 0
      public static {};
          0  ldc  [22]
          2  ldc  [24]
          4  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
          7  checkcast clojure.lang.Var [32]
         10  putstatic no.disassemble$disassemble.const__0 : clojure.lang.Var [34]
         13  ldc  [36]
         15  ldc  [38]
         17  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
         20  checkcast clojure.lang.Var [32]
         23  putstatic no.disassemble$disassemble.const__1 : clojure.lang.Var [40]
         26  ldc  [36]
         28  ldc  [42]
         30  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
         33  checkcast clojure.lang.Var [32]
         36  putstatic no.disassemble$disassemble.const__2 : clojure.lang.Var [44]
         39  ldc  [36]
         41  ldc  [46]
         43  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
         46  checkcast clojure.lang.Var [32]
         49  putstatic no.disassemble$disassemble.const__3 : clojure.lang.Var [48]
         52  ldc  [22]
         54  ldc  [50]
         56  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
         59  checkcast clojure.lang.Var [32]
         62  putstatic no.disassemble$disassemble.const__4 : clojure.lang.Var [52]
         65  aconst_null
         66  ldc  [54]
         68  invokestatic clojure.lang.RT.keyword(java.lang.String, java.lang.String) : clojure.lang.Keyword [58]
         71  checkcast clojure.lang.Keyword [60]
         74  putstatic no.disassemble$disassemble.const__5 : clojure.lang.Keyword [62]
         77  ldc  [22]
         79  ldc  [64]
         81  invokestatic clojure.lang.RT.var(java.lang.String, java.lang.String) : clojure.lang.Var [30]
         84  checkcast clojure.lang.Var [32]
         87  putstatic no.disassemble$disassemble.const__6 : clojure.lang.Var [66]
         90  new clojure.lang.KeywordLookupSite [68]
         93  dup
         94  aconst_null
         95  ldc  [54]
         97  invokestatic clojure.lang.RT.keyword(java.lang.String, java.lang.String) : clojure.lang.Keyword [58]
        100  invokespecial clojure.lang.KeywordLookupSite(clojure.lang.Keyword) [72]
        103  dup
        104  putstatic no.disassemble$disassemble.__site__0__ : clojure.lang.KeywordLookupSite [74]
        107  putstatic no.disassemble$disassemble.__thunk__0__ : clojure.lang.ILookupThunk [76]
        110  return
          Line numbers:
            [pc: 0, line: 19]

      // Method descriptor #20 ()V
      // Stack: 1, Locals: 1
      public disassemble$disassemble();
        0  aload_0
        1  invokespecial clojure.lang.AFunction() [78]
        4  return
          Line numbers:
            [pc: 0, line: 19]

      // Method descriptor #80 (Ljava/lang/Object;)Ljava/lang/Object;
      // Stack: 9, Locals: 4
      public java.lang.Object invoke(java.lang.Object obj);
          0  getstatic no.disassemble$disassemble.const__0 : clojure.lang.Var [34]
          3  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [84]
          6  checkcast clojure.lang.IFn [86]
          9  getstatic no.disassemble$disassemble.const__1 : clojure.lang.Var [40]
         12  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [84]
         15  checkcast clojure.lang.IFn [86]
         18  aload_1 [obj]
         19  invokeinterface clojure.lang.IFn.invoke(java.lang.Object) : java.lang.Object [88] [nargs: 2]
         24  dup
         25  ifnull 40
         28  getstatic java.lang.Boolean.FALSE : java.lang.Boolean [94]
         31  if_acmpeq 41
         34  aload_1 [obj]
         35  aconst_null
         36  astore_1 [obj]
         37  goto 58
         40  pop
         41  getstatic no.disassemble$disassemble.const__2 : clojure.lang.Var [44]
         44  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [84]
         47  checkcast clojure.lang.IFn [86]
         50  aload_1 [obj]
         51  aconst_null
         52  astore_1 [obj]
         53  invokeinterface clojure.lang.IFn.invoke(java.lang.Object) : java.lang.Object [88] [nargs: 2]
         58  ldc  [96]
         60  invokestatic clojure.lang.Reflector.invokeNoArgInstanceMember(java.lang.Object, java.lang.String) : java.lang.Object [102]
         63  invokeinterface clojure.lang.IFn.invoke(java.lang.Object) : java.lang.Object [88] [nargs: 2]
         68  astore_2 [cls_name]
         69  getstatic no.disassemble$disassemble.const__4 : clojure.lang.Var [52]
         72  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [84]
         75  checkcast clojure.lang.IFn [86]
         78  invokeinterface clojure.lang.IFn.invoke() : java.lang.Object [104] [nargs: 1]
         83  aload_2 [cls_name]
         84  aconst_null
         85  astore_2 [cls_name]
         86  invokestatic clojure.lang.RT.get(java.lang.Object, java.lang.Object) : java.lang.Object [107]
         89  astore_3 [bytecode]
         90  new org.eclipse.jdt.internal.core.util.Disassembler [109]
         93  dup
         94  invokespecial org.eclipse.jdt.internal.core.util.Disassembler() [110]
         97  ldc  [112]
         99  iconst_3
        100  anewarray java.lang.Object [114]
        103  dup
        104  iconst_0
        105  aload_3 [bytecode]
        106  aconst_null
        107  astore_3 [bytecode]
        108  aastore
        109  dup
        110  iconst_1
        111  ldc  [116]
        113  aastore
        114  dup
        115  iconst_2
        116  getstatic no.disassemble$disassemble.__thunk__0__ : clojure.lang.ILookupThunk [76]
        119  dup
        120  getstatic no.disassemble$disassemble.const__6 : clojure.lang.Var [66]
        123  invokevirtual clojure.lang.Var.getRawRoot() : java.lang.Object [84]
        126  dup_x2
        127  invokeinterface clojure.lang.ILookupThunk.get(java.lang.Object) : java.lang.Object [120] [nargs: 2]
        132  dup_x2
        133  if_acmpeq 140
        136  pop
        137  goto 162
        140  swap
        141  pop
        142  dup
        143  getstatic no.disassemble$disassemble.__site__0__ : clojure.lang.KeywordLookupSite [74]
        146  swap
        147  invokeinterface clojure.lang.ILookupSite.fault(java.lang.Object) : clojure.lang.ILookupThunk [126] [nargs: 2]
        152  dup
        153  putstatic no.disassemble$disassemble.__thunk__0__ : clojure.lang.ILookupThunk [76]
        156  swap
        157  invokeinterface clojure.lang.ILookupThunk.get(java.lang.Object) : java.lang.Object [120] [nargs: 2]
        162  aastore
        163  invokestatic clojure.lang.Reflector.invokeInstanceMethod(java.lang.Object, java.lang.String, java.lang.Object[]) : java.lang.Object [130]
        166  areturn
          Line numbers:
            [pc: 0, line: 19]
            [pc: 0, line: 21]
            [pc: 9, line: 21]
            [pc: 9, line: 21]
            [pc: 9, line: 21]
            [pc: 41, line: 21]
            [pc: 69, line: 22]
            [pc: 69, line: 22]
            [pc: 90, line: 23]
            [pc: 116, line: 23]
          Local variable table:
            [pc: 69, pc: 166] local: cls_name index: 2 type: java.lang.Object
            [pc: 90, pc: 166] local: bytecode index: 3 type: java.lang.Object
            [pc: 0, pc: 166] local: this index: 0 type: java.lang.Object
            [pc: 0, pc: 166] local: obj index: 1 type: java.lang.Object

      // Method descriptor #137 (ILclojure/lang/ILookupThunk;)V
      // Stack: 1, Locals: 3
      public void swapThunk(int arg0, clojure.lang.ILookupThunk arg1);
         0  iload_1
         1  tableswitch default: 27
              case 0: 20
        20  aload_2
        21  putstatic no.disassemble$disassemble.__thunk__0__ : clojure.lang.ILookupThunk [76]
        24  goto 27
        27  return

    }
    nil
    no.disassemble=> 

License

Copyright © 2013 Gary Trakhman

Distributed under the Eclipse Public License, the same as Clojure.