Static Analysis for CoffeeScript