On Tue, 10 Oct 2023 15:09:41 GMT, Adam Sotona <asot...@openjdk.org> wrote:

> JImageValidator has been recently converted to use ClassFile API and original 
> weak validation of class files was replaced with full class verification.
> Unfortunately full class verification is too strong as it includes class 
> assignability verification according to class hierarchy resolution.
> This patch relaxes class assignability verification from JImageValidator by 
> mocking ClassHierarchyResolver.
> Resolution of all classes as interfaces during verification effectively 
> cancels the assignability verification (as interface assignability is not 
> verified).
> 
> Please review this pull request.
> 
> Thanks,
> Adam

On a side note, it seems weird that you need to pass a CHR again for 
verification instead of reusing the one from Class-File context object. Maybe 
we can consider moving verify to Class-File object for a new RFE?

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

Marked as reviewed by liach (Author).

PR Review: https://git.openjdk.org/jdk/pull/16123#pullrequestreview-1669984629

Reply via email to