From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA14853; Wed, 20 Feb 2002 18:36:05 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA13438 for ; Wed, 20 Feb 2002 18:36:04 +0100 (MET) Received: from mel-rto1.wanadoo.fr (smtp-out-1.wanadoo.fr [193.252.19.188]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g1KHa3H24265 for ; Wed, 20 Feb 2002 18:36:03 +0100 (MET) Received: from mel-rta3.wanadoo.fr (193.252.19.153) by mel-rto1.wanadoo.fr; 20 Feb 2002 18:36:02 +0100 Received: from debian (80.8.74.172) by mel-rta3.wanadoo.fr; 20 Feb 2002 18:35:40 +0100 Received: from moi by debian with local (Exim 3.34 #1 (Debian)) id 16daei-0002cG-00 for ; Wed, 20 Feb 2002 18:35:48 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] Safe Caml for online teaching References: From: Remi VANICAT Date: 20 Feb 2002 18:35:48 +0100 In-Reply-To: Message-ID: <87d6z05a4r.dlv@wanadoo.fr> User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Martin Jambon writes: > On Wed, 20 Feb 2002, Alain Frisch wrote: > > > What you describe seems to be overkill for the purpose. You could simply > > build a toplevel with a restricted standard library (without interaction > > with the OS and without unsafe operations like Obj), disabled directives, > > and use a wrapper to kill the toplevel when some timeout expires. > > > > What's wrong with this ? > > Nothing's wrong with this in fact. > The only difference is that the user wouldn't know which values are really > unbound and which are simply discarded for security purposes. you could replace all discarded function by a failwith "unsafe";; -- Rémi Vanicat vanicat@labri.u-bordeaux.fr http://dept-info.labri.u-bordeaux.fr/~vanicat ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners