Static Analysis to Enforce Safe Value Flow in Embedded Control Systems.

Sumant Kowshik Grigore Rosu Lui Sha

Published in: DSN (2006)

Keyphrases

static analysis
control system
dynamic analysis
source code
test generation
malicious code
symbolic execution
abstract interpretation
java card
embedded systems
regular expressions
industrial automation
real time
test suite
real world
semi automatic