The GDSL toolkit: Generating Frontends for the Analysis of Machine Code.

Axel Simon, Julian Kranz

Browse the full POPL paper archive.