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
1172019
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
252021
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
202022
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
92023
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
82021
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
82019
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
22021
Scaling Static Whole-Program Analysis to Modern C and C++ Software Development
PD Schubert
Paderborn University, 2024
2024
Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report
F Schiebel, F Sattler, PD Schubert, S Apel, E Bodden
38th European Conference on Object-Oriented Programming (ECOOP 2024), 2024
2024
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
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–12