Static analysis of event-driven Node.js JavaScript applications.
Magnus MadsenFrank TipOndrej LhotákPublished in: OOPSLA (2015)
Keyphrases
- event driven
- static analysis
- dynamic analysis
- source code
- open source
- publish subscribe
- symbolic execution
- malicious code
- java card
- regular expressions
- test generation
- website
- web applications
- information delivery
- real time
- decision trees
- abstract interpretation
- test suite
- markup language
- reverse engineering
- web browser
- pattern matching
- data model
- databases