tjdetwiler/frappe

Rust utilities for interacting with java bytecode with the goal of buliding a functional interpreting VM.

frappe

License

Licensed under either of

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

frappe's Issues

[javap] Implement formatting for the InnerClasses attribute.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

InnerClasses:                                                                                                                                                                   
       static #737; //class com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler$1                                                                                    
       public static #824= #823 of #1909; //LocationArray=class com/sun/org/apache/xerces/internal/impl/xs/XMLSchemaLoader$LocationArray of class com/sun/org/apache/xerces/intern
       public static #1048= #101 of #1655; //MalformedURIException=class com/sun/org/apache/xerces/internal/util/URI$MalformedURIException of class com/sun/org/apache/xerces/inte
       public static #1390= #587 of #1565; //Entry=class java/util/Map$Entry of class java/util/Map                                                                               
       public static #2399= #1855 of #172; //BuiltinSchemaGrammar=class com/sun/org/apache/xerces/internal/impl/xs/SchemaGrammar$BuiltinSchemaGrammar of class com/sun/org/apache/
       public static final #2557= #2147 of #662; //Property=class com/sun/org/apache/xerces/internal/utils/XMLSecurityPropertyManager$Property of class com/sun/org/apache/xerces/

[javap] Implement lookupswitch formatting.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

          67: lookupswitch  { // 2                                                                                                                                                
                         2: 92                                                                                                                                                    
                         4: 111                                                                                                                                                   
                   default: 130                                                                                                                                                   
              }   

[javap] Implement formatting for the LocalVariableTypeTable attribute.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

          Start  Length  Slot  Name   Signature                                                                                                                                   
              0     761     3 locationPairs   Ljava/util/Map<Ljava/lang/String;Lcom/sun/org/apache/xerces/internal/impl/xs/XMLSchemaLoader$LocationArray;>; 

[javap] Implement formatting for the ExceptionTable attribute.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

        Exception table:                                                                                                                                                          
           from    to  target type                                                                                                                                                
              21    39    42   Class com/sun/org/apache/xerces/internal/impl/xs/XMLSchemaException                                                                                
            1094  1120  1129   Class com/sun/org/apache/xerces/internal/util/URI$MalformedURIException                                                                            
            1123  1126  1129   Class com/sun/org/apache/xerces/internal/util/URI$MalformedURIException                                                                            
            1705  1735  1738   Class com/sun/org/apache/xerces/internal/util/URI$MalformedURIException

[javap] Implement formatting for the StackMapTable attribute.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

        StackMapTable: number_of_entries = 68                                                                                                                                     
          frame_type = 6 /* same */                                                                                                                                               
          frame_type = 255 /* full_frame */                                                                                                                                       
            offset_delta = 35                                                                                                                                                     
            locals = [ class com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler, class org/w3c/dom/Element, class java/lang/String, class com/sun/org/apache/xerces/
            stack = [ class com/sun/org/apache/xerces/internal/impl/xs/XMLSchemaException ]                                                                                       
          frame_type = 22 /* same */                                                                                                                                              
          frame_type = 39 /* same */                                                                                                                                              
          frame_type = 252 /* append */                                                                                                                                           
            offset_delta = 18                                                                                                                                                     
            locals = [ int ]                                                                                                                                                      
          frame_type = 23 /* same */                                                                                                                                              
          frame_type = 42 /* same */                                                                                                                                              
          frame_type = 250 /* chop */                                                                                                                                             
            offset_delta = 48                                                                                                                                                     
          frame_type = 2 /* same */                                                                                                                                               
          frame_type = 32 /* same */                                                                                                                                              
          frame_type = 35 /* same */                                                                                                                                              
          frame_type = 253 /* append */
.... etc ....

[javap] Implement proper method/field name decoding.

Combine method/field name with the descriptor to create a java-style signature.

Ex: with method name foo and descriptor ()V, create the method name void foo()

Needs to take access flags and special methods (ex: <init>) into consideration as well.

Implement correct string parsing from classfile.

Currently the UTF8 strings are loaded directly from the classfile into a rust String. This needs to be adapted to follow the rules here: https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.4.7

[javap] Implement tableswitch formatting.

Example from com/sun/org/apache/xerces/internal/impl/xs/traversers/XSDHandler.class

         302: tableswitch   { // 1 to 7                                                                                                                                           
                         1: 344                                                                                                                                                   
                         2: 371                                                                                                                                                   
                         3: 398                                                                                                                                                   
                         4: 425                                                                                                                                                   
                         5: 452                                                                                                                                                   
                         6: 479                                                                                                                                                   
                         7: 506                                                                                                                                                   
                   default: 533                                                                                                                                                   
              }