Stratified Static Analysis Based on Variable Dependencies.

David Monniaux Julien Le Guen

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
test generation
symbolic execution
regular expressions
java card
database
real world
case study
high level
xml documents
pattern matching