adding several Jalangi analyses, a simple Firefox add-on to support the analyses, and a benchmark suite with web applications