CAV 2008Jakstab: A Static Analysis Platform for BinariesJohannes Kinder, Helmut VeithFull textDOI 10.1007/978-3-540-70545-1_40dblpBibTeXNo abstract available.