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

Gabriel Kerneis Charlie Shepherd Stefan Hajnoczi

Published in: CoRR (2013)

Keyphrases

static analysis
dynamic analysis
virtual machine
source code
lightweight
test generation
database
databases
case study
software development
cost effective
malicious code