Large-Scale Static Analysis at Mozilla http://corp.galois.com/blog/2010/6/4/tech-talk-large-scale-static-analysis-at-mozilla.html を視聴。 C++で書かれた超巨大コードのリファクタリングとか静的解析はやっぱり大変そうだけれど、 これだけやっているのは凄いなぁ。
それと、「Stop-the-world refactoring model is too risky」というフレーズはなるほどと思った。

とりあえず、言及されていたツール等のメモ:

sixgill.org http://sixgill.org/
Pork https://developer.mozilla.org/ja/docs/Pork
Elsa http://scottmcpeak.com/elkhound/sources/elsa/
mcpp http://mcpp.sourceforge.net/
Dehydra https://developer.mozilla.org/en-US/docs/Dehydra
milepost http://ctuning.org/milepost-gcc/
DXR http://dxr.mozilla.org/

steps to phantasien (2008-10-12) でもこの辺りの話について触れられていた。
http://stepped.dodgson.org/?date=20081012