Publications

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]

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
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
In SCAM 2021
[Preprint]

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]