Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room.
Anastasios AntoniadisNikos FilippakisPaddy KrishnanRaghavendra RameshNicholas AllenYannis SmaragdakisPublished in: PLDI (2020)
Keyphrases
- static analysis
- source code
- java card
- dynamic analysis
- open source
- sun microsystems
- symbolic execution
- malicious code
- enterprise systems
- regular expressions
- test generation
- programming language
- abstract interpretation
- high level
- object oriented
- test suite
- database applications
- business applications
- matching algorithm
- database
- business processes
- web applications
- query language
- web services
- knowledge base
- artificial intelligence
- real world
- data sets