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

Changhee Park Sukyoung Ryu

Published in: Dagstuhl Artifacts Ser. (2015)

Keyphrases

static analysis
dynamic analysis
source code
open source
web applications
test generation
abstract interpretation
symbolic execution
website
regular expressions
java card
malicious code
real world
domain knowledge
query language
programming language