Poster abstract: static analysis of device drivers in TinyOS.

Abdelraouf Ouadjaout Noureddine Lasla Miloud Bagaa Nadjib Badache

Published in: IPSN (2014)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
source code
malicious code
java card
symbolic execution
car navigation
regular expressions
test generation
data mining
low level
test suite
database