LyticEnzyme

Breakdown of GraalVM's SubstrateVM towards analysis of Native Image (AOT) binaries

• Closed type world support
• Open type world support
• Relative code pointers (code base) support
• Extract type information from java.lang.Class objects
  • Native hosted method naming (partial)
    • Test signature extraction with extended method metadata
  • Structure superclasses and inheritance
    • Interfaces as union
• Extract method information
  • java.lang.reflect.Method instances
    • com.oracle.svm.core.reflect.SubstrateAccessor
• String recognizer and data renderer
• Heap analyser
• Function call convention fixup
  • SysV, Win64 on x86
  • AArch64
  • RISC-V
  • Thread register to graal_isolatethread_t
  • Code base register
• Class flags and modifiers
• Java enums
  • SubstrateEnum
• Continuable analysis
• LanguageRepresentation
  • instanceof
  • allocation
  • type casting
  • vtable function