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

Adam Sotona asotona at openjdk.org
Tue May 14 11:42:19 UTC 2024


> 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

Adam Sotona has updated the pull request incrementally with one additional commit since the last revision:

  applied the suggested changes

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/16809/files
  - new: https://git.openjdk.org/jdk/pull/16809/files/586fa4b3..9257b7ea

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=16809&range=05
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=16809&range=04-05

  Stats: 109 lines in 1 file changed: 49 ins; 31 del; 29 mod
  Patch: https://git.openjdk.org/jdk/pull/16809.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/16809/head:pull/16809

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


More information about the compiler-dev mailing list