Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems

Publication
46th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2019,January 16-18, 2019, Lisbon, Portugal
Date
Links
Avatar
Johannes Späth
Researcher of Program Analysis