Sawja: Static Analysis Workshop for Java.
Laurent HubertNicolas BarréFrédéric BessonDelphine DemangeThomas P. JensenVincent MonfortDavid PichardieTiphaine TurpinPublished in: FoVeOOS (2010)
Keyphrases
- static analysis
- source code
- java card
- dynamic analysis
- open source
- symbolic execution
- malicious code
- software systems
- database applications
- abstract interpretation
- programming language
- regular expressions
- object oriented
- test generation
- database
- java programs
- visual basic
- object oriented systems
- operating system
- knowledge base
- artificial intelligence