Concolic Testing for Scripting Languages