Refining assembly code static analysis for the Intel MCS-51 microcontroller.

Thomas Reinbacher Jörg Brauer Martin Horauer Bastian Schlich

Published in: SIES (2009)

Keyphrases

static analysis
source code
malicious code
dynamic analysis
symbolic execution
low cost
regular expressions
control system
test generation
java card
test suite
abstract interpretation