Benchmarks for JavaScript static analysis