Philipp Dominik Schubert
Philipp Dominik Schubert
Research Assistant, Heinz Nixdorf Institute, Paderborn University
Verified email at
Cited by
Cited by
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
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
The system can't perform the operation now. Try again later.
Articles 1–2