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.

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



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