conference paper Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding published Fabian Benedikt Schiebel author 557450009-0008-6867-9802 Eric Bodden author 592560000-0003-3470-3647 RobbertKrebbers editor AlexandraSilva editor 40th European Conference on Object-Oriented Programming (ECOOP) Schloss Dagstuhl – Leibniz-Zentrum für Informatik2026Brussels eng 40th European Conference on Object-Oriented Programming (ECOOP 2026) 1868-8969 978-3-95977-423-910.4230/LIPIcs.ECOOP.2026.23 37223:1–23:28 Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra Silva, vol. 372, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026, p. 23:1–23:28, doi:<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>. Schiebel FB, Bodden E. Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In: Krebbers R, Silva A, eds. <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>. Vol 372. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik; 2026:23:1–23:28. doi:<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a> @inproceedings{Schiebel_Bodden_2026, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}, volume={372}, DOI={<a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>}, booktitle={40th European Conference on Object-Oriented Programming (ECOOP 2026)}, publisher={Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, author={Schiebel, Fabian Benedikt and Bodden, Eric}, editor={Krebbers, Robbert and Silva, Alexandra}, year={2026}, pages={23:1–23:28}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} } Schiebel, F. B., &#38; Bodden, E. (2026). Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding. In R. Krebbers &#38; A. Silva (Eds.), <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i> (Vol. 372, p. 23:1–23:28). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a> F. B. Schiebel and E. Bodden, “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding,” in <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, Brussels, 2026, vol. 372, p. 23:1–23:28, doi: <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">10.4230/LIPIcs.ECOOP.2026.23</a>. Schiebel, Fabian Benedikt, and Eric Bodden. “Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding.” In <i>40th European Conference on Object-Oriented Programming (ECOOP 2026)</i>, edited by Robbert Krebbers and Alexandra Silva, 372:23:1–23:28. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2026. <a href="https://doi.org/10.4230/LIPIcs.ECOOP.2026.23">https://doi.org/10.4230/LIPIcs.ECOOP.2026.23</a>. F.B. Schiebel, E. Bodden, in: R. Krebbers, A. Silva (Eds.), 40th European Conference on Object-Oriented Programming (ECOOP 2026), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2026, p. 23:1–23:28. 663852026-07-08T12:48:44Z2026-07-08T12:53:12Z