Practical Static Analysis of JavaScript Applications in the Presence of Magnus Madsen