JStify update

April 18, 2008 § Leave a comment

A few months ago, I started JStify, a project for static analysis of programs written in JavaScript 2.

While this work has seen some progress, to my regret, I have received instructions to de-prioritize that project. According to my estimates, this will entail a delay of at least one year on JStify.

The good news is that the project which has been prioritized, Extrapol, shares a number of traits with JStify. I will try and post a more complete presentation of Extrapol later this week. Without entering all the details for now, let’s just say that Extrapol is also a static analyzer written in OCaml, although this one targets C. It is my hope that most of the experience gathered with Extrapol will prove useful when JStify resumes.

JStify progress update (2)

December 2, 2007 § Leave a comment

Work on JStify proceeds a bit slower than expected, due to difficulties with the specificationss & Reference Implementation of ECMAScript 4.
« Read the rest of this entry »

JStify progress update

November 19, 2007 § 2 Comments

The development of JStify has been somewhat chaotic but the situation seems to be improving.

« Read the rest of this entry »

JStify — Appel à commentaires

October 15, 2007 § 1 Comment

Ce billet est une description de JStify, un outil que je suis en train de développer. Une fois complet, JStify sera une boîte à outils pour l’analyse statique de programmes écrits dans le langage JavaScript 2. Cette boîte à outils s’adressera aussi bien aux développeurs web qu’aux développeurs d’extensions Firefox. JStify pourra être inclus dans des applications côté client ou côté serveur et pourra être étendu avec de nouveaux types d’analyse.

Ceci est un appel à commentaires. N’hésitez pas à me faire part de vos remarques — je préférerais découvrir mes erreurs maintenant que dans deux ans.

« Read the rest of this entry »

JStify — Request For Comments

October 11, 2007 § 9 Comments

Note Je mettrai en ligne sous peu une version française de ce billet.

This entry contains the description of JStify, a tool I’m currently developing. When complete, JStify will be a static analysis toolbox for the JavaScript 2 language, targetted towards both web-developers and Firefox extension developers. JStify will be embeddable inside both desktop applications and server-side applications and will support pluggable analysis modules.

This is a request for comments, so please don’t hesitate. I’d rather answer questions and find out about potential pitfalls now than after two years of work.

« Read the rest of this entry »

Where Am I?

You are currently browsing the JStify category at Il y a du thé renversé au bord de la table.