Synchronized pushdown systems for pointer and data-flow analysis / Johannes Späth ; Advisors Prof. Dr. Eric Bodden, Prof. Dr. Karim Ali