Static Analysis of String Manipulations in Critical Embedded C Programs.

Xavier Allamigeon Wenceslas Godard Charles Hymans

Published in: SAS (2006)

Keyphrases

static analysis
symbolic execution
regular expressions
dynamic analysis
abstract interpretation
source code
pattern matching
malicious code
java card
data structure
query language
string matching
test generation
relational data
xml schema
embedded systems
open source
test suite
data model
case study