Static analysis of event-driven Node.js JavaScript applications

Many JavaScript programs are written in an event-driven style. In particular, in server-side Node.js applications, operations involving sockets, streams, and files are typically performed in an asy...