Main menu:

Site search

Categories

Archive

Archive for 'esp'

Static Analysis Newslets

And, now that I’m posting again, I should offer a little news about other recent events. Jason Orendorff has successfully used Treehydra and a few GCC attribute annotations to add a read barrier to the JS frame pointer in TraceMonkey. I’m not exactly sure what that means myself, but I think the idea is this: […]

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 […]