At Google we use the open source
error-prone static checker1 (https://
goo.gl/SQXCvw), which is integrated
into Google’s Java tool chain, and a feature
of Google’s open source Closure
Compiler (https://goo.gl/UyMVzp) to
whitelist uses of specific methods
and properties in JavaScript. Errors
arising from use of a “banned” API
include references to documentation
for the corresponding safe API, advising
developers on how to address