SEA: String Executability Analysis by Abstract Interpretation