This is the mail archive of the guile@cygnus.com mailing list for the guile project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Another use for Guile/Scheme/Lisp

> People periodically propose operating systems based on safe languages;
> Java is the latest craze.  The best objection (in my opinion) is the
> one you raise here --- that users will often be able to leverage bugs
> in the compiler or runtime into security holes.  The compiler, at
> least, is a very complex piece of code, so it's quite plausible that
> it would have bugs.

The way you write this misleadingly suggests that Java security
depends on the compiler.  It doesn't.  It depends on the *verifier*,
which does an analysis of the bytecode, normally when a class is loaded.

	--Per Bothner
Cygnus Solutions     bothner@cygnus.com     http://www.cygnus.com/~bothner