Kinder, Johannes : Static Analysis of x86 Executables. Technische Universität, Darmstadt [Ph.D. Thesis], (2010)