The Missing Link: Explaining ELF Static Linking, Semantically [pdf]cl.cam.ac.uk61 pointsingve10 years ago