Implementation of ELF hash

[Jan Seeger]

Hello!

I've been recreationally hacking on an ELF file, and had a need to implement 
the ELF hashing algorithm. This might be useful for other people as well, so 
maybe it could be included in the ELF pickle. I've included the implementation 
below.

Best regards,
Jan


fun elf_hash = (string input) Elf_Word:
  {
    var h = 0 as uint<32>;
    var high = 0 as uint<32>;
    for (c in input) {
      h = (h <<. 4) + c;
      high = h & 0xf0000000;
      if (high) {
           h = h ^ (high .>> 24);
       };
       h = h & ~high;
    };
    return h;
}