TY  - RPRT
TI  - SEA: String Executability Analysis by Abstract Interpretation
AU  - Vincenzo Arceri
AU  - Mila Dalla Preda
AU  - Roberto Giacobazzi
AU  - Isabella Mastroeni
PY  - 2017
UR  - https://arxiv.org/abs/1702.02406
ID  - 1702.02406
ER  -