6 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 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 FB, Sattler F, Schubert PD, Apel S, Bodden E. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In: Aldrich J, Salvaneschi G, eds. 38th European Conference on Object-Oriented Programming (ECOOP 2024). Vol 313. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:36:1–36:28. doi:10.4230/LIPIcs.ECOOP.2024.36
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 | 
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26405
Schubert P, Sattler F, Schiebel FB, Hermann B, Bodden E. Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021.
LibreCat
6 Publications
2026 | Conference Paper | LibreCat-ID: 66385
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66433
Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. 40th European Conference on Object-Oriented Programming (ECOOP 2026). Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:10.4230/LIPIcs.ECOOP.2026.23
LibreCat
| DOI
2026 | Conference Paper | LibreCat-ID: 66429
Kummita S, Schiebel FB, Bodden E, Miao M, Wei S. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study. In: 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 FB, Sattler F, Schubert PD, Apel S, Bodden E. Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report. In: Aldrich J, Salvaneschi G, eds. 38th European Conference on Object-Oriented Programming (ECOOP 2024). Vol 313. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2024:36:1–36:28. doi:10.4230/LIPIcs.ECOOP.2024.36
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 30511 |
Schubert P, Gazzillo P, Patterson Z, et al. Static data-flow analysis for software product lines in C. Automated Software Engineering. 2022;29(1). doi:10.1007/s10515-022-00333-1
LibreCat
| DOI
| Download (ext.)
2021 | Conference Paper | LibreCat-ID: 26405
Schubert P, Sattler F, Schiebel FB, Hermann B, Bodden E. Modeling the Effects of Global Variables in Data-Flow Analysis for C/C++. In: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM). ; 2021.
LibreCat