关注
Philipp Dominik Schubert
Philipp Dominik Schubert
SonarSource SA
在 sonarsource.com 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
1052019
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
192021
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
162022
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
62023
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
62019
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
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
系统目前无法执行此操作,请稍后再试。
文章 1–10