Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding (bibtex)
@InProceedings{sb26scaling,
  author =  {Schiebel, Fabian and Bodden, Eric},
  title = {{Scaling Bottom-Up IFDS Taint Analysis with Optimized Data-Flow Encoding}},
  booktitle = {40th European Conference on Object-Oriented Programming (ECOOP 2026)},
  pages = {23:1--23:28},
  series =  {Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =  {978-3-95977-423-9},
  ISSN =  {1868-8969},
  year =  {2026},
  volume =  {372},
  editor =  {Krebbers, Robbert and Silva, Alexandra},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address = {Dagstuhl, Germany},
  URL =   {https://www.bodden.de/pubs/sb26scaling.pdf},
  URN =   {urn:nbn:de:0030-drops-261194},
  doi =   {10.4230/LIPIcs.ECOOP.2026.23},
  annote =  {Keywords: Static analysis, IFDS, C/C++}
}
Powered by bibtexbrowser