Java Mustang - new type verifer

From: "Yamin" <yaminb@xxxxxxxxx>
Date: 29 Nov 2005 15:53:22 -0800

Hey all,

This is just out of curiosity having read up a bit on the upcoming new
type verifier for Java Mustang.

Basically some of the verification will be done at compile time and the
information saved in the class file. Thus, when the program is run,
some of the verification is already done and the application can now
run faster.

I'm not looking for any great detail, but in general, does anyone know
what prevents someone from 'adjusting' the verification information
saved in the class file to bypass some of java security features?

Don't worry, I trust the JVM guys to have taken care of this :) I'm
just wondering how it works.

Yamin Bismilla

.

Follow-Ups:
- Re: Java Mustang - new type verifer
  - From: Thomas Hawtin

Prev by Date: Re: A good text editor for JAVA?
Next by Date: Re: formatted printing of text- color
Previous by thread: Proposed Cell Phone Tool
Next by thread: Re: Java Mustang - new type verifer
Index(es):
- Date
- Thread

Relevant Pages

Re: Jeode and Jbed ClassLoader differences?
... > Thanks for the information Mark & Seungil. ... Verification is what makes the Java language safe - it has several parts: ... take a bag of bytes and see if it smells like a .class file. ...
(comp.lang.java.machine)
Re: Java Mustang - new type verifer
... type verifier for Java Mustang. ... information saved in the class file. ... Thus, when the program is run, some of the verification is already done and the application can now run faster. ... you find a hole. ...
(comp.lang.java.programmer)