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

Johannes Späth, Karim Ali, Eric Bodden

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Context-, Flow-, and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems'. Together they form a unique fingerprint.

Keyphrases

Computer Science