Static Analysis of the XEN Kernel using Frama-C.

Armand Puccetti

Published in: J. Univers. Comput. Sci. (2010)

Keyphrases

static analysis
dynamic analysis
source code
kernel function
java card
abstract interpretation
symbolic execution
malicious code
kernel methods
regular expressions
support vector
feature space
test suite
data sets
test generation
semi automatic
databases