Static and dynamic analysis of call chains in Java.
Atanas RountevScott KaganMichael GibasPublished in: ISSTA (2004)
Keyphrases
- dynamic analysis
- static analysis
- reverse engineering
- source code
- model checking
- object oriented
- lightweight
- malicious behavior
- programming language
- neural network
- general purpose
- java programs
- web applications
- abstract interpretation
- database
- development environment
- regular expressions
- software systems
- error rate
- query language
- case study
- web services