Static analysis of device drivers: we can do better!

Sidney Amani Leonid Ryzhyk Alastair F. Donaldson Gernot Heiser Alexander Legg Yanjin Zhu

Published in: APSys (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
car navigation
malicious code
java card
regular expressions
test generation
abstract interpretation
data mining
decision trees
reverse engineering
traffic accidents