Christian Hammer

Effects of Program Representation on Pointer Analyses — An Empirical Study

2021 · Lecture notes in computer science

Abstract Static analysis frameworks, such as Soot and Wala , are used by researchers to prototype and compare program analyses. These frameworks vary on heap abstraction, modeling library classes, and underlying intermediate program representation (IR). …