Static Analysis of Java Source Code to Generate Security-Relevant Behavior Model Based on Extended Pushdown Automaton.
Xudong ZhengJinglei RenXiaojuan ZhengYonglong WeiChen SunPublished in: CSA (2009)
Keyphrases
- static analysis
- dynamic analysis
- java card
- source code
- api calls
- symbolic execution
- model checking
- regular expressions
- reverse engineering
- test generation
- abstract interpretation
- malicious code
- information security
- security issues
- finite state machines
- decision trees
- data mining
- databases
- security policies
- tree automata
- access control
- test suite
- security requirements
- security model
- intrusion detection
- building blocks