A robust and secure JavaScript URL parser