tree a29efde60f8ffb947679113d524ae9f6169e0338
parent 354fbd7e8d38d7888c6c2610cc14cfa55f468fbb
author Nicolas Geoffray <ngeoffray@google.com> 1612734718 +0000
committer Nicolas Geoffray <ngeoffray@google.com> 1613467679 +0000

Use vdex assignability types at runtime.

When the oat file mentions the class needs to be verified at runtime,
check whether the vdex has assignability types. If it has, and the
checks are successful, then the class is verified. Otherwise do a full
verification to report the actual verification error.

Test: test.py
Bug: 176960283
Change-Id: I2ba14b72c1d8be3d33f7a699721496a8c15c39f2