Static analysis based invariant detection for commodity operating systems.

Jinpeng Wei Feng Zhu Yasushi Shinjo

Published in: CollaborateCom (2011)

Keyphrases

operating system
static analysis
dynamic analysis
computer systems
windows xp
source code
test suite
distributed systems
anti virus
virtual machine
multi tasking
multi threaded
regular expressions
virtual memory
database
reverse engineering
test set
anomaly detection
data processing
object oriented
data model