Byte code verification source code location

[Kumarasiri, Nuwan R]

hello Kris, 

Thank you for your reply. That helps. 

I also want to know if I borrow the same algorithm/code in hotspot/src/share/vm/classfile/verifier.[hpp|cpp] to implement the same feature in Jikes RVM will there be any copyright issue ? 

More information under "Bytecode verifier" at, 
http://docs.codehaus.org/display/RVM/Google+Summer+of+Code+2013

Thank you.
________________________________________
From: hotspot-dev-bounces at openjdk.java.net [hotspot-dev-bounces at openjdk.java.net] on behalf of Krystal Mo [krystal.mo at oracle.com]
Sent: Monday, April 08, 2013 12:03 PM
To: hotspot-dev at openjdk.java.net
Subject: Re: Byte code verification source code location

Hi,

The new verifier using stack maps (aka "type checking verifier" or the
"split verifier") is located in
hotspot/src/share/vm/classfile/verifier.[hpp|cpp]
The old verifier (aka "type inference verifier") is located in
jdk/src/share/native/common/check_code.c

- Kris

On 2013/4/8 8:36, Kumarasiri, Nuwan R wrote:
> 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.