A set of static analysis tools for JavaScript