From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 12B28BBC1 for ; Mon, 10 Mar 2008 16:30:28 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoAAJrw1EfAXQInh2dsb2JhbACQfgEBAQgKKZgc X-IronPort-AV: E=Sophos;i="4.25,474,1199660400"; d="scan'208";a="10096067" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 10 Mar 2008 16:30:27 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2AFUO0f015163 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 10 Mar 2008 16:30:27 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvoAAE7x1EfBL1AZh2dsb2JhbACQfgEBAQgKKZge X-IronPort-AV: E=Sophos;i="4.25,474,1199660400"; d="scan'208";a="8222617" Received: from gw.exalead.com (HELO exalead.com) ([193.47.80.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Mar 2008 16:30:26 +0100 Received: from [192.168.204.148] (madpc064.exalead.com [192.168.204.148]) (authenticated bits=0) by exalead.com (8.14.0/8.14.0) with ESMTP id m2AFUQUR017525 for ; Mon, 10 Mar 2008 16:30:26 +0100 Message-ID: <47D55412.6010803@exalead.com> Date: Mon, 10 Mar 2008 16:30:26 +0100 From: Berke Durak User-Agent: Thunderbird 1.5.0.10 (X11/20070221) MIME-Version: 1.0 To: Caml-list List Subject: Announce: Jsure 1.0.1, has online version at jsure.org Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 47D55410.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 checker:01 javascript:98 phane:98 javascript:98 rhino:98 binaries:01 compile:01 parsing:01 compilers:01 experimental:01 undefined:01 Hello, We've been maturing our little Javascript verifier, Jsure, and it can now catch things like bad regular expressions or property names some browsers don't like. Stéphane Jaïs has just written a web interface for Jsure; you can now use it on-line at http://jsure.org/ Binaries for Linux (x86, amd64) and Mac are also available. Of course, Javascript code, being overly dynamic, is notoriously difficult to analyze; but even basic checks (such as attempts to catch use of undefined variables) combined with some developer discipline turn out to be useful. The traditional alternative is Jslint which is very heavy to use (requires Rhino) - it is written in Javascript itself. Jsure is fully open-source; to compile it, you need to install Aurochs (http://aurochs.fr/) which is used as its parsing engine. Feel free to mail me with you comments or suggestions. PS. Jsure has some experimental features such as an attempt at type-checking or an edit-distance based spell checker for identifiers to play with (those are not enabled by default). However, it seems that the effort that would be required to build a useful static Javascript verification tool would be better spent on Javascript-targeting compilers, like ocamljs! But try telling that to your boss :) -- Berke DURAK