Type Analyzer for JavaScript