Byte code verification source code location

[Kumarasiri, Nuwan R]

hello,

I raised this question in a different mailing list but i was asked to ask here.

I need to look at the byte code verification(http://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html) implementation in openjdk. Could you kindly let me know the location of the byte code verification source code for version 7?

Thank you.