[2774] in java-interest
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