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

David Holmes david.holmes at oracle.com
Mon Mar 16 00:58:59 UTC 2015


Hi Harold,
On 14/03/2015 4:06 AM, harold seigel wrote:
> Hi,
>
> Please review this fix for bug JDK-7127066.  The fix applies to astore*
> bytecodes because, when inside an exception handler, they can reference
> the thrown object and modify the number of stack locals, enabling the
> incorrect stack match.
>
> Open webrev: http://oklahoma.us.oracle.com/~hseigel/webrev/bug_7127066/
>
> JBS bug: https://bugs.openjdk.java.net/browse/JDK-7127066
>
> The fix was tested with JCK api, lang, and vm tests, jtreg hotspot,
> java/lang, java/io, and java/util tests, and testbase quick and split
> verifier tests, and with the test case provided in the bug.

The new check looks okay, though I can't verify the exact placement of it.

Thanks,
David

>
> Thanks! Harold


More information about the hotspot-runtime-dev mailing list