for JavaScript (and TypeScript) programs that use the Node.js platform. The analyzer design is based on ideas from JAM [1], TAPIR [2] and ACG [3] with support for approximate interpretation [4] and ...