@inproceedings{sepp11precise, author = {A. Sepp and B. Mihaila and A. Simon}, title = {Precise {S}tatic {A}nalysis of {B}inaries by {E}xtracting {R}elational {I}nformation}, booktitle = {Working Conference on Reverse Engineering}, editor = { M.Pinzger and D. Poshyvanyk}, month = {October}, year = 2011, publisher = {IEEE Computer Society}, address = {Limerick, Ireland}, }