Combining string abstract domains for javascript analysis: An evaluation