Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding Schiebel, Fabian Benedikt Bodden, Eric Krebbers, Robbert Silva, Alexandra Schloss Dagstuhl – Leibniz-Zentrum für Informatik 2026 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/66385 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> eng info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.ECOOP.2026.23 info:eu-repo/semantics/altIdentifier/issn/1868-8969 info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-423-9 info:eu-repo/semantics/closedAccess