Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems
Crossref DOI link: https://doi.org/10.1145/3290361
Published Online: 2019-01-02
Published Print: 2019-01-02
Update policy: https://doi.org/10.1145/crossmark-policy
Späth, Johannes
Ali, Karim
Bodden, Eric
Version of Record valid from 2019-01-02
Publication History
Published: 2019-01-02
