SEA: String Executability Analysis by Abstract Interpretation.

Vincenzo Arceri Mila Dalla Preda Roberto Giacobazzi Isabella Mastroeni

Published in: CoRR (2017)

Keyphrases

abstract interpretation
data structure
database
static analysis
termination analysis
databases
fine grained
dynamic analysis