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.
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