Type refinement for static analysis of JavaScript.

Vineeth Kashyap John Sarracino John Wagner Ben Wiedermann Ben Hardekopf

Published in: DLS (2013)

Keyphrases

static analysis
dynamic analysis
source code
open source
symbolic execution
malicious code
regular expressions
test generation
abstract interpretation
website
web applications
decision trees
web browser
java card
test suite
data sets
third party
xml data
artificial intelligence