7 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66833
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026, doi:10.1109/saner67736.2026.00114.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026, doi:10.1109/saner67736.2026.00114.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian Benedikt, et al. “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.” 38th European Conference on Object-Oriented Programming (ECOOP 2024), edited by Jonathan Aldrich and Guido Salvaneschi, vol. 313, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 36:1–36:28, doi:10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26405
Schubert, Philipp, et al. “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat
7 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66833
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026, doi:10.1109/saner67736.2026.00114.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” 40th European Conference on Object-Oriented Programming (ECOOP 2026), edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:10.4230/LIPIcs.ECOOP.2026.23.
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita, Sriteja, et al. “Static Analysis Traces Can Help Dynamic Symbolic Execution: A Replication Study.” 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), IEEE, 2026, doi:10.1109/saner67736.2026.00114.
LibreCat
| DOI
2024 | Conference Paper | LibreCat-ID: 56863
Schiebel, Fabian Benedikt, et al. “Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report.” 38th European Conference on Object-Oriented Programming (ECOOP 2024), edited by Jonathan Aldrich and Guido Salvaneschi, vol. 313, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 36:1–36:28, doi:10.4230/LIPIcs.ECOOP.2024.36.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert, Philipp, et al. “Static Data-Flow Analysis for Software Product Lines in C.” Automated Software Engineering, vol. 29, no. 1, 35, Springer Science and Business Media LLC, 2022, doi:10.1007/s10515-022-00333-1.
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26405
Schubert, Philipp, et al. “Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++.” 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.
LibreCat