@inproceedings{mci/Mattsen2016,
author = {Mattsen, Sven AND Schupp, Sibylle},
title = {The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code},
booktitle = {Softwaretechnik-Trends Band 36, Heft 3},
year = {2016},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}