Static analysis by abstract interpretation: application to the detection of heap overflows.

Xavier Allamigeon Charles Hymans

Published in: J. Comput. Virol. (2008)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
source code
termination analysis
data structure
model checking
active rules
regular expressions
open source
database
databases
deductive databases
malware detection