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.