Jsure, Javascript verifier

Jsure is a standalone Javascript verifier, a kind of lint for Javascript.

Jsure is a "lint" for Javascript (also known as Ecmascript). It checks syntax and a little bit of semantics. It uses Aurochs to parse Javascript and is written in Ocaml. Unlike JSLint, it is standalone and fast. It does not require a Javascript run-time environment, such as Rhino.

Stéphane Jaïs has made an online version of Jsure