Static Analysis for Asynchronous JavaScript Programs.
Thodoris SotiropoulosBenjamin LivshitsPublished in: ECOOP (2019)
Keyphrases
- static analysis
- symbolic execution
- dynamic analysis
- abstract interpretation
- source code
- open source
- malicious code
- web applications
- regular expressions
- test generation
- website
- java card
- test suite
- data sets
- computer programs
- training data
- database
- database applications
- data warehouse
- query processing
- database systems
- real world