David Woodhouse wrote:
On Mon, 2007-05-21 at 12:00 +0100, Richard W.M. Jones wrote:Now, a bit of background first. When OCaml builds a module, it takes a MD5 hash over the interface and some of the internals. It also stores in the module the MD5 hashes of any modules that it depends upon. At link time the MD5 hashes are compared, and the link is only allowed to proceed if they match.Hm. Can we use this to make dynamic linking work safely too?
If you mean Dynlink (the bytecode-only dynamic linker), then that uses the same hashing scheme and has the same requirements (matching hashes, matching compiler). So yes.
Rich. -- Emerging Technologies, Red Hat - http://et.redhat.com/~rjones/ Registered Address: Red Hat UK Ltd, Amberley Place, 107-111 Peascod Street, Windsor, Berkshire, SL4 1TE, United Kingdom. Registered in England and Wales under Company Registration No. 03798903
Description: S/MIME Cryptographic Signature