Dr. Philipp Schubert
(132 KB) BibTeX BIB (425 B) Talk Video YOUTUBE (11 B) Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++ Philipp Dominik Schubert, Florian Sattler, Fabian Schiebel, Ben Hermann, Eric [...] B) Talk Video YOUTUBE (11 B) Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis Philipp Schubert, Ben Hermann, and Eric Bodden In 35th European Conference on Objec [...] and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science, vol 11428. Springer, Cham. DOI: https://doi.org/10.1007/978-3-030-17465-1_22 Preprint PDF (493 KB) …