JStify update

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.