Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript.
Benjamin Barslev NielsenAnders MøllerPublished in: ECOOP (2020)
Keyphrases
- lightweight
- static analysis
- dynamic analysis
- source code
- open source
- relational databases
- symbolic execution
- web applications
- test generation
- abstract interpretation
- regular expressions
- relational data
- java card
- test suite
- dos attacks
- development environments
- wireless sensor networks
- reverse engineering
- web browser
- low cost
- communication infrastructure
- web services