Kranz, JulianBinary Analysis using On-Demand Tabulation of Function Summaries2019Dissertation159 Seiten