Hi all,
DoctorJS was created by Dimitris Vardoulakis a few years ago as an experiment at Mozilla Research:
https://github.com/mozilla/doctorjsWe don't currently have the resources in my group at Mozilla to maintain it, and since he defended his PhD, Dimitris has gone to work full-time at Google, where he doesn't have much time for it either.
DoctorJS is one of the most advanced analysis engines for JavaScript around, and it would be great if someone new wanted to take a leadership role for the project. Full disclosure: the codebase involves an advanced algorithm and is some pretty challenging code (it's easy to accidentally introduce infinite loops, for example). But it's a really cool project, and we'd love to see it grow with new leadership.
I can't really promise sustained contribution of my own time, but I'll be glad to spend some time with people interested in getting started, either on IRC or by email.
Best,
Dave