SootUp: A Redesign of the Soot Static Analysis Framework. - Kadiray Karakaya; Stefan Schott; Jonas Klauke; Eric Bodden; Markus Schmidt 012; Linghui Luo; Dongjie He (TACAS (1), 2024)