Static Analysis of String Values.

Giulia Costantini Pietro Ferrara Agostino Cortesi

Published in: ICFEM (2011)

Keyphrases

static analysis
regular expressions
dynamic analysis
source code
symbolic execution
malicious code
data structure
java card
test generation
abstract interpretation
edit distance
string matching
xml schema
database
attribute values
pattern matching
open source
database systems
knowledge base
real world