Simple Andersen-style pointer analysis for JavaScript