Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
The Missing Link: Explaining ELF Static Linking, Semantically [pdf] (cam.ac.uk)
61 points by ingve on Oct 22, 2016 | hide | past | favorite | 2 comments


Pretty nice work incrementally getting where we need. Here's a few links for those following such work on safe linking.

SPIN OS - Modula-3 with safe extensions https://cseweb.ucsd.edu/~savage/papers/Sosp95.pdf

CMOD - Sound module system for C that caught errors in OSS programs https://www.cs.umd.edu/~mwh/papers/cmod-journal.pdf

One I stumbled on looking for the others that supports dynamic linking:

http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.28....


A surprisingly enjoyable read.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: