WAVE: A Web Application VErifier