Apron: A Library of Numerical Abstract Domains for Static Analysis.

Bertrand Jeannet Antoine Miné

Published in: CAV (2009)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
source code
symbolic execution
malicious code
java card
real world
regular expressions
relational databases
test generation
case study
high level
low level
database technology
reverse engineering