RFR (S) 7127066: Class verifier accepts an invalid class file
harold.seigel at oracle.com
Thu Aug 28 21:07:16 UTC 2014
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.
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.
More information about the hotspot-runtime-dev