[2774] in java-interest

home help back first fref pref prev next nref lref last post

Re: VM Instructions !

daemon@ATHENA.MIT.EDU (Simon Spero)
Fri Oct 13 03:17:17 1995

Date: Thu, 12 Oct 1995 22:06:02 -0700 (PDT)
From: Simon Spero <ses@tipper.oit.unc.edu>
To: Thomas Ball <Thomas.Ball@Eng.Sun.COM>
Cc: n1061925@dodo.fit.qut.edu.au, java-interest@java.Eng.Sun.COM
In-Reply-To: <9510130047.AA12073@alapa.Eng.Sun.COM>

On Thu, 12 Oct 1995, Thomas Ball wrote:
> 
> >  Would this be a security hole ?
> 
> No !  Bad code will get caught by the interpreter's verifier.  If you
> find a case where it doesn't, let us know !

Question for VM implementers: has anybody used the properties imposed by 
the verfier to eliminate the use of the stack for operands?

Simon

-----
(defun modexpt (x y n)  "computes (x^y) mod n"
  (cond ((= y 0) 1) 	((= y 1) (mod x n))
	((evenp y) (mod (expt (modexpt x (/ y 2) n) 2) n))
	(t (mod (* x (modexpt x (1- y) n)) n))))

-
Note to Sun employees: this is an EXTERNAL mailing list!
Info: send 'help' to java-interest-request@java.sun.com

home help back first fref pref prev next nref lref last post