Static Analysis for Asynchronous JavaScript Programs.

Thodoris Sotiropoulos Benjamin Livshits

Published in: CoRR (2019)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
web applications
open source
test generation
test suite
java card
regular expressions
website
malicious code
computer programs
data sets
api calls
hands on guide
specification language
artificial intelligence