Integrated: 8320396: Class-File API ClassModel::verify should include checks from hotspot/share/classfile/classFileParser.cpp

Adam Sotona asotona at openjdk.org
Fri May 31 06:29:12 UTC 2024


On Fri, 24 Nov 2023 13:20:20 GMT, Adam Sotona <asotona at openjdk.org> wrote:

> ClassFile API `jdk.internal.classfile.verifier.VerifierImpl` performed only bytecode-level class verification.
> This patch adds `jdk.internal.classfile.verifier.ParserVerifier` with additional class checks inspired by `hotspot/share/classfile/classFileParser.cpp`.
> 
> Also new `VerifierSelfTest::testParserVerifier` has been added.
> 
> Please review.
> 
> Thanks,
> Adam

This pull request has now been integrated.

Changeset: 22ef827e
Author:    Adam Sotona <asotona at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/22ef827e2cc2409f21ad5c26611cb13d39b5cb3e
Stats:     869 lines in 6 files changed: 835 ins; 7 del; 27 mod

8320396: Class-File API ClassModel::verify should include checks from hotspot/share/classfile/classFileParser.cpp

Reviewed-by: liach, mcimadamore

-------------

PR: https://git.openjdk.org/jdk/pull/16809


More information about the compiler-dev mailing list