Archive for 'treehydra'
I’ve been in interpreter-land lately, but I do help out a bit with static analysis projects when I get the chance. So I’d better post an update here on some interesting developments that haven’t been publicized yet. First, Keith Schwartz (one of our interns) is making great progress on automatic const-correctification for Mozilla. The basic […]