A suite of abstract domains for static analysis of string values.

Giulia Costantini Pietro Ferrara Agostino Cortesi

Published in: Softw. Pract. Exp. (2015)

Keyphrases

static analysis
regular expressions
abstract interpretation
dynamic analysis
source code
symbolic execution
pattern matching
data structure
test generation
java card
malicious code
database
high level
programming language
open source
low level
edit distance
domain knowledge
relational databases
real world