Visualization of Permission Checks in Java Using Static Analysis.
Yoonkyung KimByeong-Mo ChangPublished in: WISA (2006)
Keyphrases
- static analysis
- source code
- dynamic analysis
- java card
- open source
- symbolic execution
- api calls
- object oriented
- data analysis
- malicious code
- regular expressions
- third party
- test generation
- software systems
- web applications
- programming language
- data sets
- database applications
- access control
- java programs
- object oriented systems
- decision trees
- security policies
- test suite
- error rate
- high level