Byte code verification algorithm

[Kumarasiri, Nuwan R]

hello,

I think this is the correct list to ask this question, if that's not the case please let me know.

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 location?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20130406/1aa4482e/attachment.html