■

Code Diggerは、PexをベースとしたらVisual Studio 2012の拡張機能であり、.NETコードの実行パスを解析することができる。Visual Studioのエディタからツールを実行したあとで表示された表から各行を解析することによりコードの振る舞いを理解することができる。

この拡張機能は先日MicrosoftのResearch in Software Engineering (RiSE)からリリースされており、計算と入出力ペアだけでなく、バグの位置、例外とアサーションの失敗を表示する。またこの拡張は、ポータブルクラスライブラリに存在するpublicの.NETコードのみで動作する。