@phdthesis{Flexeder11Thesis,
  author = {Andrea Flexeder},
  title = {Interprocedural {A}nalysis of {L}ow-{L}evel {C}ode},
  school = {Institut f\"ur Informatik},
  month = {June},
  year = 2011,
  address = {Technische Universit\"at M\"unchen},
}