Archives of the Caml mailing list > Message from Daniel

Browse thread

Securely loading and running untrusted modules

Richard Jones
- Nicolas Cannasse
  - Richard Jones
    - Alex Baretta
    - Richard Jones
      - Jacques Garrigue
        
        sejourne_kevin
        
        Jacques Garrigue
        
        sejourne_kevin
      - Daniel_Bünzli
      - Virgile Prevosto

Date:	-- (:)
From:	Daniel_Bünzli <daniel.buenzli@e...>
Subject:	Re: [Caml-list] Securely loading and running untrusted modules

> 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
> be impossible to create any OCaml code which could be loaded by
> Dynlink where Dynlink.allow_only does not specify "Pervasives".

Not sure but this seems possible with the -nopervasives option, see  
this thread :

<http://caml.inria.fr/pub/ml-archives/caml-list/2005/03/ 
379d29454b8c48aa6e8a020c09fe0485.fr.html>

Daniel