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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

What’s this?

You are currently reading JStify update at Il y a du thé renversé au bord de la table.

meta

%d bloggers like this: