Extracting taint specifications for JavaScript libraries.

Cristian-Alexandru Staicu Martin Toldam Torp Max Schäfer Anders Møller Michael Pradel

Published in: ICSE (2020)

Keyphrases

control flow
web applications
data flow
website
open source
multimedia
digital libraries
web server
neural network
high level
web browser
case study
data model
formal specification
functional requirements
hands on guide