Description
Please examine each of the following points so that we can help you as soon and best as possible.
Describe the bug
After instrumenting HBase(2.4.2) and generating .class files, I met this issues:
[Thread-44] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: Index 0 out of bounds for length 0
java.lang.ArrayIndexOutOfBoundsException: Index 0 out of bounds for length 0
at org.objectweb.asm.MethodWriter.visitParameterAnnotation(MethodWriter.java:703)
at soot.AbstractASMBackend.generateMethods(AbstractASMBackend.java:347)
at soot.AbstractASMBackend.generateByteCode(AbstractASMBackend.java:277)
at soot.AbstractASMBackend.generateClassFile(AbstractASMBackend.java:226)
at soot.PackManager.writeClass(PackManager.java:1124)
at soot.PackManager.lambda$writeOutput$1(PackManager.java:705)
at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
at java.base/java.lang.Thread.run(Thread.java:834)
Input file
I utilized soot-4.3.0 and download Hbase hbase-2.4.2-bin.tar.gz. My source code is too large to upload. If necessary, I will upload my analyzer to support reproducing.
To reproduce
Steps to reproduce the behavior:
Run my scripts.
Expected behavior
According to the log info, the instrumentation process finished and the error occurred during generating .class files.