Determinacy in static analysis for jQuery.

Esben Andreasen Anders Møller

Published in: OOPSLA (2014)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
web development
conjunctive queries
java card
web applications
test generation
abstract interpretation
databases
regular expressions
decision trees
open source
test suite