Describing Gen/Kill Static Analysis Techniques with Kleene Algebra.

Therrezinha Fernandes Jules Desharnais

Published in: MPC (2004)

Keyphrases

static analysis
regular expressions
query language
dynamic analysis
source code
malicious code
java card
symbolic execution
pattern matching
propositional logic
abstract interpretation
test generation
data model
relational algebra
xml schema
query evaluation
domain knowledge
relational databases
database