JSAI: A Static Analysis Platform for JavaScript