soot-oss / soot

Soot - A Java optimization framework
GNU Lesser General Public License v2.1
2.87k stars 706 forks source link

Soot version 4.2.1 changing class version numbers #1716

Open bdemsky opened 3 years ago

bdemsky commented 3 years ago

Please examine each of the following points so that we can help you as soon and best as possible.

Describe the bug Soot version 4.2.1 and earlier is changing the class version numbers. The class file in question is an interface with default methods. This then causes the verifier to fail when loading the class file and triggering the same behavior as Bug #956.

Input file

We are seeing this on org.jd.core.v1.model.javasyntax.type.Type, org.jd.core.v1.model.javasyntax.type.BaseTypeArgument, and org.jd.core.v1.util.Base from https://github.com/java-decompiler/jd-core version 1.1.3.

To reproduce Steps to reproduce the behavior: Please include soot options you used or supply a code snippet to ease reproduction of the problem.

Expected behavior A clear and concise description of what you expected to happen.

Stacktrace If applicable, add complete stacktraces. In case your stack trace contains a line starting with "Caused by:", that line as well as the following lines are still part of the original stacktrace, so please include them as well.

Additional context Add any other context about the problem here, which might help us to understand or solve your problem better.

tim-hoffman commented 3 years ago

This should be addressed by PR #1694