JSCert: Certified JavaScript

• Home
• Publications
• Code
• Tools
• Talks

We hope to fill this page with tools based on JSCert and JSRef. For now, the JSCert project is just beginning, and we have only one analysis tool. The JuS tool pre-dates JSCert: work to connect them, and provide JuS with a stronger foundation is ongoing.

JuS

"JavaScript under Scrutiny" is a tool for automatically analysing JavaScript programs using the logic introduced in Towards a Program Logic for JavaScript.