Efficient Access Analysis Using JavaScript Proxies