Publications

Filter by type:

Synchronized Pushdown Systems for Pointer and Data-Flow Analysis (PhD Dissertation)

Johannes Späth

CrySL: An Extensible Approach to Validating the Correct Usage of CryptographicAPIs

Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini

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

Johannes Späth, Karim Ali, Eric Bodden

IDEal: Efficient and Precise Alias-Aware Data-Flow Analysis

Johannes Späth, Karim Ali, Eric Bodden

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysisfor Java

Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysiswith Unbounded Access Paths

Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini