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: [...]
Posted: January 9th, 2009 under esp.
Comments: 8
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 [...]
Posted: April 18th, 2008 under esp, outparams, treehydra.
Comments: 6