Publications

Philipp Dominik Schubert, Paul Gazzillo, Zach Patterson, Julian Braha, Fabian Schiebel, Ben Hermann, Shiyi Wei, Eric Bodden
Static Data-Flow Analysis for Software Product Lines in C
In ASE (Springer) 2022
[Paper]

Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, and Eric Bodden
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++
In SCAM 2021
[Preprint]

Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
In SCAM 2021
[Preprint]

Philipp Dominik Schubert, Ben Hermann, and Eric Bodden
Lossless, Persisted Summarization of Static Callgraph, Points-to and Data-Flow Analysis
In ECOOP 2021
[Paper]

Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
In SOAP 2019
[Preprint]

Philipp Dominik Schubert, Ben Hermann, and Eric Bodden
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
In TACAS 2019
[Paper]