RFR (S) 7127066: Class verifier accepts an invalid class file

Keith McGuigan kmcguigan at twitter.com
Thu Aug 28 21:53:32 UTC 2014

Hi Harold,

I'd like to review this, but my attempt to look at the JIRA bug results in:
 "It seems that you have tried to perform an operation which you are not
permitted to perform."

So it seems i will be unable to.  Sorry.

On Thu, Aug 28, 2014 at 5:07 PM, harold seigel <harold.seigel at oracle.com>

> Hi,
> Please review this small verifier fix for bug JDK-7127066.  The change
> fixes the problem by doing the exception handler type state verification
> for byetcodes, such as astore, that modify the type state, before the type
> state gets modified.
> bug:  https://bugs.openjdk.java.net/browse/JDK-7127066
> Open webrev: http://cr.openjdk.java.net/~hseigel/bug_7127066/
> The fix was tested with JCK lang, vm, and api/java_lang tests, ute quick
> tests, ute split_verifier tests, hotspot JTREG tests, and the test case
> provided in the bug.
> Thanks, Harold


[image: twitter-icon-large.png]

Keith McGuigan


kmcguigan at twitter.com

More information about the hotspot-runtime-dev mailing list