From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id C0D6ABC48 for ; Tue, 5 Apr 2005 20:19:10 +0200 (CEST) Received: from francois.mpi-sb.mpg.de (ns2.mpi-sb.mpg.de [139.19.1.2]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j35IJAEu005223 for ; Tue, 5 Apr 2005 20:19:10 +0200 Received: from amavis by francois.mpi-sb.mpg.de with scanned-ok (Exim 3.36 #1 (Debian)) id 1DIsdp-00058d-00 for ; Tue, 05 Apr 2005 20:19:09 +0200 Received: from maildist ([139.19.90.238] helo=mpi-sb.mpg.de) by francois.mpi-sb.mpg.de with esmtp (Exim 3.36 #1 (Debian)) id 1DIpBv-0008Tr-00 for ; Tue, 05 Apr 2005 16:38:07 +0200 Received: from mpiat2314 (Debian-exim@mpiat2314 [139.19.20.103]) by mpi-sb.mpg.de (8.12.9+Sun/8.12.9) with ESMTP id j35Ec6bo022319 for ; Tue, 5 Apr 2005 16:38:07 +0200 (MEST) Received: from localhost.mpi-sb.mpg.de ([127.0.0.1] helo=mpiat2314 ident=prevosto) by mpiat2314 with esmtp (Exim 4.34) id 1DIpBu-0006ws-NR for caml-list@yquem.inria.fr; Tue, 05 Apr 2005 16:38:06 +0200 Date: Tue, 5 Apr 2005 16:38:05 +0200 From: Virgile Prevosto To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Securely loading and running untrusted modules Message-ID: <20050405163805.58785911@mpiat2314> In-Reply-To: <20050405141744.GA11816@furbychan.cocan.org> References: <20050405121459.GA29378@furbychan.cocan.org> <000f01c539de$c1859fd0$0c05a8c0@PWARP> <20050405131608.GB5103@furbychan.cocan.org> <42529C01.2080609@barettadeit.com> <20050405141744.GA11816@furbychan.cocan.org> X-Mailer: Sylpheed-Claws 1.0.0 (GTK+ 1.2.10; i686-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: by AMaViS perl-11 X-Miltered: at nez-perce with ID 4252D69E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 untrusted:01 pervasives:01 ocamlc:01 ocamlc:01 cmo:01 cmo:01 securely:98 tutto:98 oggi:98 volta:98 interfaces:01 unsafe:01 modules:01 unit:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Le 04/05/2005, =E0 03:17:46 PM, Richard Jones a =E9crit: > A much more serious problem which I've just found is that _any_ module > (even the empty module) seems to require Pervasives. Thus it seems to > rich@arctor:/tmp$ ocamlc -c test_module.ml=20 Have you tried with the -nopervasives flag of ocamlc ? [of course this supposes that your module does not rely on any function of the core library, which is the case for the empty module] ~ [516]$ ocamlc -nopervasives -c test_module.ml ~ [517]$ ocamlobjinfo test_module.cmo File test_module.cmo Unit name: Test_module Interfaces imported: f7db4d58568a6e5a2cfe62ef59a52df1 Test_module Uses unsafe features: no --=20 E tutto per oggi, a la prossima volta Virgile