dynamic loading of Caml bytecode

From: Michael Hicks (mwh@dsl.cis.upenn.edu)
Date: Mon Nov 08 1999 - 17:07:23 MET

From: Michael Hicks <mwh@dsl.cis.upenn.edu>
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)

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.


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

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:28 MET