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

[Richard W.M. Jones]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 3237 bytes
Desc: S/MIME Cryptographic Signature
Url : http://lists.fedoraproject.org/pipermail/packaging/attachments/20070521/a010df06/attachment.bin