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

[harold seigel]

Hi,

Here is the actual open webrev for this RFR: 
http://cr.openjdk.java.net/~hseigel/bug_7127066/

I mistakenly put the wrong URL for the webrev.  (Thanks Volker!)

Harold

On 3/13/2015 2:06 PM, 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.
>
> Thanks! Harold