Static analysis for JavaScript using deprecated DOM APIs