[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]

Re: OCaml and static linking (was old thread: Re: [Fedora-packaging] Issues with Ocaml and Static Linking)

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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]