Main menu:

Site search

Categories

Archive

Archive for April, 2008

ESP: MSR’s little helper

The Javascript/Treehydra version of the outparam usage checker is finally nearing completion: all that’s left is packaging it as a patch that can go into mozilla-central (plus the inevitable future debugging). In my last post, I mentioned that the checker is based on ESP, an program analysis technique invented at Microsoft Research. A few people […]

Making Treehydra do useful tricks

Taras’ last blog post ended with a comment about “making [Treehydra] do useful tricks”, which oddly enough, is exactly what I’ve been working on, and I’ve finally made enough progress to blog about it. I’ve been alternating between implementing a Treehydra Javascript analysis library and adding needed features to Treehydra. Just today, I managed to […]