Challenges for static analysis of Java reflection: literature review and empirical study.
Davy LandmanAlexander SerebrenikJurgen J. VinjuPublished in: ICSE (2017)
Keyphrases
- empirical studies
- literature review
- static analysis
- source code
- java card
- dynamic analysis
- current issues
- case study
- open source
- real world data sets
- empirical analysis
- fuzzy theory
- lessons learned
- symbolic execution
- information systems development
- public libraries
- uci datasets
- regular expressions
- malicious code
- object oriented
- design science
- key issues
- test generation
- programming language
- database
- databases
- abstract interpretation
- test suite
- pattern matching
- building blocks
- real world