Points-to Analysis

TODO: describe points-to analyses components that were created by Simon Reuß in his MSc thesis.