Version française
Home     About     Download     Resources     Contact us    
Browse thread
Securely loading and running untrusted modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] Securely loading and running untrusted modules
From: sejourne_kevin <sejourne_kevin@yahoo.fr>
> I can't find the way to use 'nopervasives' correctly, here is my test:
> test.ml :
> ----------------
> struct Pervasives = struct
> 	(* Here the code steal from pervasives.ml *)
> end;;
> open Pervasives;;
> print_endline "hello world";;
> ----------------
> [20:55:58 ~] ocamlc -nopervasives -o test test.ml
> [20:56:25 ~] ./test
> hello world
> [20:56:28 ~]
> 
> strange....

Why?
If you copy all pervasives.ml, then you have access to all its
functionality.
The point is that you wouldn't be able to load this code dynamically
in safe mode.

Jacques Garrigue