From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA19123 for caml-redistribution@pauillac.inria.fr; Mon, 8 Nov 1999 17:35:44 +0100 (MET) Resent-Message-Id: <199911081635.RAA19123@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA28258 for ; Mon, 8 Nov 1999 17:07:28 +0100 (MET) Received: from codex.cis.upenn.edu (CODEX.CIS.UPENN.EDU [158.130.6.15]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA11143 for ; Mon, 8 Nov 1999 17:07:23 +0100 (MET) Received: (from mwh@localhost) by codex.cis.upenn.edu (8.8.5/8.8.5) id LAA27012 for caml-list@inria.fr; Mon, 8 Nov 1999 11:07:23 -0500 (EST) From: Michael Hicks Message-Id: <199911081607.LAA27012@codex.cis.upenn.edu> Subject: dynamic loading of Caml bytecode To: caml-list@inria.fr Date: Mon, 8 Nov 1999 11:07:23 -0500 (EST) X-Mailer: ELM [version 2.4 PL23-upenn3.1] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 8 Nov 1999 17:35:44 +0100 Resent-To: caml-redistribution@pauillac.inria.fr I wonder if anyone could elaborate for me on the safety of dynamically loaded Ocaml bytecode? Is it possible to load bytecode that is not well-formed or type-correct (thus resulting in a core-dump or other misbehavior at runtime)? I understand that interfaces are checked for consistency using MD5 hashes, but I'm curious about the internal consistency of the bytecode file itself. Thanks, Mike -- Michael Hicks Ph.D. Candidate, the University of Pennsylvania http://www.cis.upenn.edu/~mwh mailto://mwh@dsl.cis.upenn.edu "People are often unreasonable, illogical, and self-centered; Forgive them anyway." -- Mother Teresa