Jakstab: A Static Analysis Platform for Binaries.

Johannes Kinder, Helmut Veith

Browse the full CAV paper archive.