Static Analysis of Lockless Microcontroller C Programs

Eva Beckschulze Sebastian Biallas Stefan Kowalewski

Published in: SSV (2012)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
low cost
test generation
java card
regular expressions
control system
database
design considerations
learning algorithm
data sets
data management
training data
real world
test case generation