Philipp Schubert, M. Sc.

Secure Software Engineering / Heinz Nixdorf Institut

Member - Former

Publications

Latest Publications

Static data-flow analysis for software product lines in C

P. Schubert, P. Gazzillo, Z. Patterson, J. Braha, F. Schiebel, B. Hermann, S. Wei, E. Bodden, Automated Software Engineering 29 (2022).

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis

P. Schubert, B. Hermann, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2021.

Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++

P. Schubert, B. Hermann, E. Bodden, R. Leer, in: SCAM ’21: IEEE International Working Conference on Source Code Analysis and Manipulation (Engineering Track), 2021.

Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++

P. Schubert, F. Sattler, F. Schiebel, B. Hermann, E. Bodden, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.

Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries

P. Schubert, E. Bodden, B. Hermann, Accelerating Static Call-Graph, Points-to and Data-Flow Analysis Through Persisted Summaries, 2020.

Show all publications