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