How to extend Soot to Support isRecord() for Java Record Classes?

[LorenzoProSky]

Hello everyone,

I am working on a static analysis tool which uses Soot, and a small part of my analysis involves handling Java Record classes. My goal is to extend Soot in order to support a new method isRecord(), in order to check if a SootClass represents a Record or not. This is the only functionality I need to add; I am not looking for any other features related to Records.

I attempted to implement this by following the pattern used for other methods like isAbstract(). Here’s what I’ve done:

In soot.SootClass:

...
  /**
   * Convenience method; returns true if this class is a record.
   */
  public boolean isRecord() {
    checkLevel(HIERARCHY);
    return Modifier.isRecord(this.getModifiers());
  }
...

In soot.Modifier:

...
  public static final int RECORD = 0x600;
...
  public static boolean isRecord(int m) {
    return (m & RECORD) != 0;
  }
...

Soot compiles successfully, and I can use the modified .jar file in my project and the new method in my code. However, when I give to Soot a Record class, it throws an error:

soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)
        at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:73)
        at soot.JavaClassSource.resolve(JavaClassSource.java:63)
        at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:275)
        at soot.SootResolver.bringToHierarchy(SootResolver.java:244)
        at soot.SootResolver.bringToSignatures(SootResolver.java:314)
        at soot.SootResolver.bringToBodies(SootResolver.java:354)
        at soot.SootResolver.processResolveWorklist(SootResolver.java:191)
        at soot.SootResolver.resolveClass(SootResolver.java:156)
        at soot.Scene.loadClass(Scene.java:998)
        at soot.Scene.loadClassAndSupport(Scene.java:985)
        at soot.Scene.loadNecessaryClasses(Scene.java:1915)
        at soot.Main.run(Main.java:240)
        at soot.Main.main(Main.java:142)

I also checked SootUp's sootup.core.model.ClassModifier hoping to find the new feature implemented, but there is no keyword "record".

Is it possible to achieve this functionality with minimal modifications, or would this require significant changes to the framework? If anyone has experience or insights into extending Soot in this way, I would greatly appreciate your help!

Thank you in advance.