Scalable Analysis Framework for ECMAScript