JavaScript and Web ToolsOver the past several years, we've developed semantics foundations for JavaScript, built tools atop these foundations, and applied these tools to Web security problems. We've recently started tackling other Web technologies as well. All our work is open source and available from this website. Semantic Foundations S5: an executable semantics for modern JavaScript λJS: an executable semantics for Ja
