QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines.

Gabriel Kerneis Charlie Shepherd Stefan Hajnoczi

Published in: PEPM (2014)

Keyphrases

static analysis
dynamic analysis
virtual machine
lightweight
data sets
database
source code
symbolic execution
databases
artificial intelligence
knowledge base
pattern matching
model checking
test suite
malicious code