Bytecode Generator

A random fuzzing tool that generates type-safe bytecode sequences.

Reported Bugs

• r8
  1. 72269635 (Fixed)
     • 72292006 (Duplicate)
  2. 72413928
     • The verifier of dalvik/ART rejects invalid dalvik bytecode that generated by r8 from valid Java bytecode (accepted by HotSpot).
     • r8 developers now try to make r8 compile any valid Java bytecode into valid dalvik.
  3. 72758525 (Fixed)
  4. 72811434 (Fixed)
  5. 72886946
• OpenJDK
  1. JDK-8195838 (Not an issue)
     • Not an issue in OpenJDK 10 but can be triggered in the latest publicly available Oracle JDK 9.0.4+11.
  2. JDK-8197563
• Graal (jaotc)
  1. #288 (Fixed)
  2. #289 (Fixed)
  3. #290
• ProGuard
  1. #681 (Fixed)
  2. #682 (Open-later)
     • Confirmed but considered as low-priority because the generated code is ad-hoc though valid.
  3. #683 (Closed-wont-fix)
     • Users should be aware of that aggressive optimizations may be problematic.
  4. #685
  5. #686
• OpenJ9
  1. #997: Can we remove unused array allocation if the array size may be negative?
     • The JVM specification specifies that a NegativeArraySizeException should be thrown, which means the unused allocation should not be removed by optimizations without checking the array size from my perspective.
  2. #999