DIEHash: Summary hashing of member functions