Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
dynamic loading of Caml bytecode
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michael Hicks <mwh@d...>
Subject: dynamic loading of Caml bytecode

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            mailto://
"People are often unreasonable, illogical, and self-centered;
Forgive them anyway." -- Mother Teresa