Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies

Sedick David Baker Effendi, Xavier Pinho, Andrei Michael Dreyer +1

Taint analysis using explicit whole-program data-dependence graphs is powerful for vulnerability discovery but faces two major challenges. First, accurately modeling taint propagat…