Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity.

Changhee Park Sukyoung Ryu

Published in: ECOOP (2015)

Keyphrases

static analysis
dynamic analysis
source code
open source
web applications
symbolic execution
malicious code
java card
regular expressions
test generation
test suite
abstract interpretation
building blocks
databases
web browser
website
decision trees
test case generation