Precise static analysis of untrusted driver binaries.

Johannes Kinder Helmut Veith

Published in: FMCAD (2010)

Keyphrases

static analysis
source code
dynamic analysis
open source
third party
java card
symbolic execution
test generation
reverse engineering
abstract interpretation
malicious code
security policies
data mining
database
knowledge base
test suite