Static analysis of event-driven Node.js JavaScript applications
Type refinement for static analysis of JavaScript