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 | 105 | 2019 |
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 | 19 | 2021 |
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 | 16 | 2022 |
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 | 6 | 2023 |
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 | 6 | 2019 |
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 | 5 | 2021 |
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 | | |