Stefan Staiger-Stöhr

Kombinierte statische Ermittlung von Zeigerzielen, Kontroll- und Datenfluss

Stefan Staiger-Stöhr, 2009 .

Implementing sparse flow-sensitive Andersen analysis

Stefan Staiger-Stöhr, 2009 .

Practical Integrated Analysis of Pointers, Dataflow and Control Flow

Stefan Staiger-Stöhr, 2013, TOPL.