Andrea Flexeder: Interprocedural analysis of low-level code. Technical University Munich 2011, 1-181