Follow
Philipp Dominik Schubert
Philipp Dominik Schubert
SonarSource SA
Verified email at sonarsource.com - Homepage
Title
Cited by
Cited by
Year
Phasar: An inter-procedural static analysis framework for c/c++
PD Schubert, B Hermann, E Bodden
International Conference on Tools and Algorithms for the Construction and …, 2019
922019
Lossless, persisted summarization of static callgraph, points-to and data-flow analysis
PD Schubert, B Hermann, E Bodden
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021
162021
Static data-flow analysis for software product lines in C: Revoking the preprocessor’s special role
PD Schubert, P Gazzillo, Z Patterson, J Braha, F Schiebel, B Hermann, ...
Automated Software Engineering 29 (1), 35, 2022
102022
Into the Woods: Experiences from Building a Dataflow Analysis Framework for C/C++
PD Schubert, R Leer, B Hermann, E Bodden
2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021
52021
Know your analysis: How instrumentation aids understanding static analysis
PD Schubert, R Leer, B Hermann, E Bodden
Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the …, 2019
52019
Seal: Integrating program analysis and repository mining
F Sattler, S Böhm, PD Schubert, N Siegmund, S Apel
ACM Transactions on Software Engineering and Methodology 32 (5), 1-34, 2023
22023
slash: A Technique for Static Configuration-Logic Identification
M Alhanahnah, P Schubert, T Reps, S Jha, E Bodden
arXiv preprint arXiv:2310.06758, 2023
2023
Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++
PD Schubert, F Sattler, F Schiebel, B Hermann, E Bodden
2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021
2021
Subproject B4: Verifying Software and Reconfigurable Hardware Services
E Bodden, MC Jakobs, F Pauck, M Platzner, P Schubert, H Wehrheim
SCAM 2021
B Hermann, PD Schubert, R Leer, RW Nguempnang, J Bernhard
The system can't perform the operation now. Try again later.
Articles 1–10