<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi,<div class=""><br class=""></div><div class="">I came across the following problem when trying to use doop + soot (2.5.0) to extract facts from JRE 7. Soot fails with the following exception: </div><div class=""><br class=""></div><div class=""><div class="">Error while processing method: </div><div class=""><java.lang.invoke.BoundMethodHandle: java.lang.invoke.MethodHandle bindSingle(java.lang.invoke.MethodType,java.lang.invoke.LambdaForm,char,java.lang.Object)></div><div class=""><br class=""></div><div class="">soot.SootMethodRefImpl$ClassResolutionFailedException: Class java.lang.invoke.MethodHandle doesn't have method invokeBasic([java.lang.invoke.MethodType, java.lang.invoke.LambdaForm, int]) : java.lang.invoke.BoundMethodHandle; </div></div><div class=""><br class=""></div><div class="">… </div><div class=""><br class=""></div><div class="">Indeed, such a method does not exist in java.lang.invoke.MethodHandle, but there is the signature polymorphic invokeBasic method. I assume that what happens here is what is described in <a href="https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/MethodHandle.html" class="">https://docs.oracle.com/javase/7/docs/api/java/lang/invoke/MethodHandle.html</a> : “<span style="color: rgb(53, 56, 51); font-family: Arial, Helvetica, sans-serif; font-size: 12.16px; widows: 1; background-color: rgb(255, 255, 255);" class="">In source code, a call to a signature polymorphic method will compile, regardless of the requested symbolic type descriptor. As usual, the Java compiler emits an </span><code style="font-size: 1.2em; color: rgb(53, 56, 51); widows: 1; background-color: rgb(255, 255, 255);" class="">invokevirtual</code><span style="color: rgb(53, 56, 51); font-family: Arial, Helvetica, sans-serif; font-size: 12.16px; widows: 1; background-color: rgb(255, 255, 255);" class=""> instruction with the given symbolic type descriptor against the named method. The unusual part is that the symbolic type descriptor is derived from the actual argument and return types, not from the method declaration.</span>”. However, this seems to break soot. </div><div class=""><br class=""></div><div class="">Any advice how to avoid this problem ? BTW, I have tried to use the latest nightly build with doop, but run into other problems with this.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Thanks in advance for any hint ! </div><div class=""><br class=""></div><div class="">Cheers, Jens</div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div></body></html>