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

[Keith McGuigan]

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>
wrote:

> 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

@kamggg

kmcguigan at twitter.com