Yujiang Gui, Yonggang Tao, Jingling Xue. Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability. In Robbert Krebbers, Alexandra Silva 0001, editors, 40th European Conference on Object-Oriented Programming, ECOOP 2026, Brussels, Belgium, June 29 - July 3, 2026. Volume 372 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.