How to handle signature polymorphism with VarHandle and ClassHierarchy resolveMethod? #1508
Description
I'm using resolveMethod, as implemented in com.ibm.wala.ipa.cha.ClassHierarchy, to find the corresponding method at an invokevirtual instruction. When trying to resolve an invoke to a method in java.lang.invoke.VarHandle, resolveMethod returns null. To my understanding, this is because of the "signature polymorphism" of the methods in java.lang.invoke.VarHandle. The selector provided for the method reference at the invoke uses the types of the arguments at the invoke, whereas the selector at the method definition uses the Object array argument. I was wondering if WALA includes a way to handle this case other than to hardcode a selector each time I analyze an invoke to a VarHandle method. Thank you!