Re: Byte-code verifier
schemers@Eng
Thu, 1 Oct 1998 23:19:19 -0700 (PDT)
Deepak Jindal writes:
> I want to know about any kind of work done on byte-code verifier.
> Presently I am aware of ony one Book " Java Virtual Machine
> Secification" which discusses this issue. Are there any publications
> on this. I am implementing a byte-code verifier as part of my senior
> thesis. Any kind of help will be greatly appriciated.
> thanking you in anticipation,
> Deepak Jindal.
The folks over at the University of Washington have done some
work on a verifier. Take a look at:
http://kimera.cs.washington.edu/
roland