Modular Static Analysis with Zonotopes.

Eric Goubault Sylvie Putot Franck Védrine

Published in: SAS (2012)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
test generation
java card
abstract interpretation
test suite
databases
data mining
knowledge base