Sawja: Static Analysis Workshop for Java
Laurent HubertNicolas BarréFrédéric BessonDelphine DemangeThomas P. JensenVincent MonfortDavid PichardieTiphaine TurpinPublished in: CoRR (2010)
Keyphrases
- static analysis
- source code
- java card
- dynamic analysis
- open source
- malicious code
- software systems
- test generation
- abstract interpretation
- test suite
- symbolic execution
- java programs
- high level
- programming language
- regular expressions
- database
- database applications
- web applications
- object oriented systems
- object oriented